History log of /hets/SoftFOL.hs
Revision Date Author Comments Expand
a2bad8046ca7c7d44d024e22d5ab10c0ea8ac35c 01-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

adjusted to changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10432 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

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