Cross Reference: /hets/CASL/test/OpItem.casl.output

History log of /hets/CASL/test/OpItem.casl.output
Revision	Date	Author	Comments + Modified files
4def068d5c58a2c07351d99ec3455bc88d5eaa98	04-Apr-2007	Christian Maeder <Christian.Maeder@dfki.de>	fewer semicolons git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7783 cec4b9c1-7d33-0410-9eda-942365e851bb BasicSpec.analysis.output BasicSpec.casl.output BasicSpec.sentences.output OpItem.casl.output
842a6d146e8d1023c9cc54e9064ae93be2daf831	05-Feb-2007	Christian Maeder <Christian.Maeder@dfki.de>	added some semicolons for HasCASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7383 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/ToDoc.hs BasicSpec.analysis.output BasicSpec.casl.output OpItem.casl.output PredItem.casl.output
d5bafd42bc0cadf07032b4e7a1a92d90afb7c973	04-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	used topKey for op and pred items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6162 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs BasicSpec.analysis.output BasicSpec.casl.output OpItem.casl.output PredItem.casl.output /hets/Common/Doc.hs
5dcdd49dcfa8b4523f949ebc1ac2b59efd7874a7	03-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	changed printout git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6157 cec4b9c1-7d33-0410-9eda-942365e851bb BasicSpec.analysis.output BasicSpec.casl.output BasicSpec.sentences.output Formula.casl.asMixfixFormula.output Formula.casl.output MixfixFormula.casl.output OpItem.casl.output PredItem.casl.output SortItem.casl.output X2.casl.output X3.casl.output X4.casl.output XTest.casl.output
d0e0773ffc042192d7f922173209e57f7e799478	16-Jan-2004	Christian Maeder <Christian.Maeder@dfki.de>	excluded =e= in ISO-DECLs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1962 cec4b9c1-7d33-0410-9eda-942365e851bb OpItem.casl OpItem.casl.output WrongOpItem.casl WrongOpItem.casl.output WrongSortItem.casl WrongSortItem.casl.output
7ea448352f44eec95bc3e5dcf6f59a4b5dbc5f79	22-Jul-2003	Christian Maeder <Christian.Maeder@dfki.de>	print changes by Klaus git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1583 cec4b9c1-7d33-0410-9eda-942365e851bb BasicSpec.analysis.output BasicSpec.casl.output Formula.casl.asMixfixFormula.output Formula.casl.output MixfixTerms.casl.output OpItem.casl.output SortItem.casl.output /hets/Common/test/Annotations.casl.global.output /hets/Common/test/Annotations.casl.output /hets/Common/test/Annotations.casl.perLine.output /hets/Common/test/List.annos.global.output /hets/Common/test/List.annos.output /hets/Common/test/List.annos.perLine.output /hets/Common/test/Standard.annos.global.output /hets/Common/test/Standard.annos.output /hets/Common/test/Standard.annos.perLine.output /hets/Common/test/WrongPrecedence.annos.global.output /hets/Common/test/WrongPrecedence.annos.output /hets/Common/test/WrongPrecedence.annos.perLine.output
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca	06-May-2003	Christian Maeder <Christian.Maeder@dfki.de>	moved CASL tests in test subdirectory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1348 cec4b9c1-7d33-0410-9eda-942365e851bb BasicSpec.casl BasicSpec.casl.output Formula.casl Formula.casl.asMixfixFormula.output Formula.casl.output Makefile MixIds.casl.asTerms.output MixfixFormula.casl MixfixFormula.casl.output MixfixTerms.casl MixfixTerms.casl.output OpItem.casl OpItem.casl.output PredItem.casl PredItem.casl.output SortItem.casl SortItem.casl.output Terms.casl Terms.casl.asMixfixTerms.output Terms.casl.output WrongBasicSpec.casl WrongBasicSpec.casl.output WrongFormula.casl WrongFormula.casl.output WrongMixIds.casl.asTerms.output WrongMixfixFormula.casl WrongMixfixFormula.casl.output WrongMixfixTerms.casl WrongMixfixTerms.casl.output WrongOpItem.casl WrongOpItem.casl.output WrongPredItem.casl WrongPredItem.casl.output WrongSortItem.casl WrongSortItem.casl.output WrongTerms.casl WrongTerms.casl.output XTest.casl runcheck.sh