re-add rdf output with .nt extension (n-triple)
started dol only parsing
layout change only
adjust Hets-lib and still use Isabelle2012 dependency
use isabelle-installer
added 'lable' field to Entity data type. in this snd attempt, a constructor is employed for better maintainability
added labelMap to OWL2.Sign, to store class labels within this field during analysis
added sublogics to logic graph and removed failing instance implementation
labels are extracted from annotations and stored in respective field (Sign.labelMap). however they are never printed or otherwise employed as of now
moved the IO availability test into the prover and checker records
add usability attribute of external tools to xml logic graph
use usable provers and cons-checkers
increase memory for mac
isLeft is missin in Data.Either of ghc-7.6.3
make it compile on precise using ghc-7.4.1 and http-types < 0.7
Merge pull request #1380 from spechub/http-types

make it compile on precise using ghc-7.4.1 and http-types < 0.7
added reasons for missing provers, etc
also filter for usable conservativity checkers
added service for available provers #1378
also adjust the displayed logic grpah to usable provers