applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
added reasons for missing provers, etc
moved the IO availability test into the prover and checker records
added similar function to topS for pellet EL profile git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16107 cec4b9c1-7d33-0410-9eda-942365e851bb
profiles and sublogics merged git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15772 cec4b9c1-7d33-0410-9eda-942365e851bb
PelletProver added to OWL2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15432 cec4b9c1-7d33-0410-9eda-942365e851bb