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

History log of /hets/CASL/test/SortItem.casl.output
Revision	Date	Author	Comments Expand
03a6bbff551286168d0b15dc53476c2ede4e60d0	05-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	implemented printSortItem git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6166 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/ToDoc.hs BasicSpec.analysis.output BasicSpec.casl.output SortItem.casl.output
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
03b37cacc12eb5eb0e3bf7aafd23bd89d38ae058	17-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	switch formula printing to new doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6053 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Print_AS_Basic.hs BasicSpec.analysis.output BasicSpec.casl.output BasicSpec.sentences.output Formula.casl.output PredItem.casl.output SortItem.casl.output X2.casl.output
4c20d89b174474beb5f38cc4d47b1ff983c676a9	07-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	reimplemented annotation printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5925 cec4b9c1-7d33-0410-9eda-942365e851bb BasicSpec.analysis.output BasicSpec.casl.output SortItem.casl.output /hets/Common/Doc.hs /hets/Common/Print_AS_Annotation.hs /hets/Common/test/Annotations.casl.global.output /hets/Common/test/Annotations.casl.output /hets/HasCASL/test/BasicSpec.casl.output /hets/HasCASL/test/WrongBasicSpec.hascasl.output
b2fbe9fd5e63cb6b7f6d43c9fd4c59216a5c4b23	07-Apr-2005	Christian Maeder <Christian.Maeder@dfki.de>	pretty printer changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4017 cec4b9c1-7d33-0410-9eda-942365e851bb BasicSpec.analysis.output BasicSpec.casl.output BasicSpec.sentences.output BasicSpec.signature.output Formula.casl.asMixfixFormula.output Formula.casl.output MixfixFormula.casl.output MixfixTerms.casl.output SortItem.casl.output X2.casl.output X3.casl.output X4.casl.output XTest.casl.output
0af0cffad0fea46df86ff9a9b1d490247871719a	16-Feb-2005	Christian Maeder <Christian.Maeder@dfki.de>	use PrettyPrint rather than separate show function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3809 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/MixfixParser.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/StaticAna.hs BasicSpec.analysis.output BasicSpec.casl.output BasicSpec.sentences.output BasicSpec.signature.output Formula.casl.output SortItem.casl.output Terms.casl.output WrongMixfixTerms.casl.output
510268a5ea01f167c93b958212003940610e366f	27-May-2004	Christian Maeder <Christian.Maeder@dfki.de>	empty labels omitted git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2731 cec4b9c1-7d33-0410-9eda-942365e851bb BasicSpec.analysis.output BasicSpec.casl.output PredItem.casl.output SortItem.casl.output WrongPredItem.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