89e9687ab1427723e373996ddb9686f68f5c21ba |
|
16-Jul-2007 |
Heng Jiang <jiang@tzi.de> |
modified the syntax of spass-input with version 1.5; added parser of clauseFormulaRelation, prooflist and settinglist into dfg-parser.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8376 cec4b9c1-7d33-0410-9eda-942365e851bb |