Cross Reference: /hets/CASL/test/MixIds.casl.asTerms.output

History log of /hets/CASL/test/MixIds.casl.asTerms.output
Revision	Date	Author	Comments Expand
5a448e9be8c4482a978b174b744237757335140f	22-Feb-2012	Christian Maeder <Christian.Maeder@dfki.de>	switched to utf8 default encoding git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16672 cec4b9c1-7d33-0410-9eda-942365e851bb BasicSpec.analysis.output BasicSpec.casl BasicSpec.casl.output BasicSpec.sentences.output BasicSpec.signature.output MixIds.casl.asTerms.output /hets/Common/RunParsers.hs /hets/Common/test/MixIds.casl /hets/Common/test/MixIds.casl.asSortIds.output /hets/Common/test/MixIds.casl.asVarIds.output /hets/Common/test/MixIds.casl.output /hets/Driver/Options.hs /hets/Driver/WriteLibDefn.hs /hets/HasCASL/test/BasicSpec.casl.output /hets/HasCASL/test/MixIds.casl.output /hets/HasCASL/test/Types.hascasl /hets/HasCASL/test/WrongTypes.hascasl /hets/PGIP/Server.hs /hets/Syntax/hetpa.hs /hets/utils/hetcasl.sty
7325bbe03797fd413af504fb3fac109b2c652a7b	09-May-2003	Christian Maeder <Christian.Maeder@dfki.de>	allowed barS within mixIds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1370 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/SortItem.hs MixIds.casl.asTerms.output WrongMixIds.casl.asTerms.output /hets/Common/ListBrackets.hs /hets/Common/Token.hs /hets/Common/test/MixIds.casl /hets/Common/test/MixIds.casl.asSortIds.output /hets/Common/test/MixIds.casl.asVarIds.output /hets/Common/test/MixIds.casl.output /hets/Common/test/WrongMixIds.casl /hets/Common/test/WrongMixIds.casl.output
db1d7356178e9c2029a82786f431fcefc3c8ab5d	06-May-2003	Christian Maeder <Christian.Maeder@dfki.de>	further HasCASL mix ids git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1354 cec4b9c1-7d33-0410-9eda-942365e851bb MixIds.casl.asTerms.output WrongMixIds.casl.asTerms.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