applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
Use openProofStatus instead of bare constructor.
Add missing proofLines definitions.
moved the IO availability test into the prover and checker records
replaced readProcessWithCode by executeProcess git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17099 cec4b9c1-7d33-0410-9eda-942365e851bb
use readProcessWithExitCode git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13976 cec4b9c1-7d33-0410-9eda-942365e851bb
use getTempFile git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13968 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
updated maintainer information git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13841 cec4b9c1-7d33-0410-9eda-942365e851bb
factored out posix timing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13826 cec4b9c1-7d33-0410-9eda-942365e851bb
corrected haddocumentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13772 cec4b9c1-7d33-0410-9eda-942365e851bb
Added DepQBF prover to QBF logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13752 cec4b9c1-7d33-0410-9eda-942365e851bb