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 a bunch of deriving Typeable and Data
removed redundant Maybe level #1140 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17908 cec4b9c1-7d33-0410-9eda-942365e851bb
removed unused import git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17845 cec4b9c1-7d33-0410-9eda-942365e851bb
better conservativity messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17839 cec4b9c1-7d33-0410-9eda-942365e851bb
modified showing conservativity git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17108 cec4b9c1-7d33-0410-9eda-942365e851bb
added comment to conservativity checker git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17107 cec4b9c1-7d33-0410-9eda-942365e851bb
added Read instance for Conservativity git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14893 cec4b9c1-7d33-0410-9eda-942365e851bb
Added see license.txt to license field git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb
Changed haddock headers and inserted empty headers for the ones missing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb
cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13713 cec4b9c1-7d33-0410-9eda-942365e851bb
made conservativity checker go to IO and removed some some IO.Unsafe git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12961 cec4b9c1-7d33-0410-9eda-942365e851bb
use a single Conservativity data type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12527 cec4b9c1-7d33-0410-9eda-942365e851bb
no green yet git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10929 cec4b9c1-7d33-0410-9eda-942365e851bb
refactoring for support for >1 conservativity Checker / Logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10928 cec4b9c1-7d33-0410-9eda-942365e851bb
skizzo runs (I hope) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10914 cec4b9c1-7d33-0410-9eda-942365e851bb
removed CASL dependency git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10707 cec4b9c1-7d33-0410-9eda-942365e851bb