History log of /hets/SoftFOL/tests/SPASSTest.het
Revision Date Author Comments Expand
99634745e86bb1c79da4e2b376e580f65ee67082 25-Jul-2007 Klaus Luettich <luettich@informatik.uni-bremen.de>

changed maintainers; improved efficiency of Proofs.BatchProcessing; improved documentation; improved test program git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8475 cec4b9c1-7d33-0410-9eda-942365e851bb
f04e8f3ff56405901be968fd4c6e9769239f1a9b 26-Jun-2007 Klaus Luettich <luettich@informatik.uni-bremen.de>

Renamed almost all files with SPASS into SoftFOL. Only SoftFOL/Logic_SPASS remains. It will be updated very soon. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8150 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/CASL2SoftFOL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Driver/WriteFn.hs /hets/Makefile /hets/Propositional/Prop2CNF.hs /hets/Propositional/TestProp2CNF.hs /hets/SoftFOL.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SPASS.hs /hets/SoftFOL/MathServCommunication.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/Prove.hs /hets/SoftFOL/ProveHelp.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/Utils.hs /hets/SoftFOL/doc/Generic_aufgabe.tex CMDL_tests.hs GUI_tests.hs PrintTPTPTests.hs PrintTests.hs SPASSTest.het SPASSTest.hpf Sokrates.hs asym.tptp check.sh checkMathServe.pl soapTest.hs