Cross Reference: /hets/CASL/test/BasicSpec.casl

History log of /hets/CASL/test/BasicSpec.casl
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
1600a2e47d5ed599df94d20411f0767fb6d68587	02-Mar-2011	Christian Maeder <Christian.Maeder@dfki.de>	changed signs and letter sets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14658 cec4b9c1-7d33-0410-9eda-942365e851bb BasicSpec.analysis.output BasicSpec.casl BasicSpec.casl.output BasicSpec.sentences.output BasicSpec.signature.output /hets/Common/Lexer.hs /hets/Common/Token.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/test/BasicSpec.casl.output /hets/Syntax/Parse_AS_Structured.hs /hets/test/ParameterSpecTest/ParamView.xml
9d75607bcf5f66d02e90db8b92ff89f89f48f16e	13-Jan-2004	Christian Maeder <Christian.Maeder@dfki.de>	if output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1953 cec4b9c1-7d33-0410-9eda-942365e851bb BasicSpec.analysis.output BasicSpec.casl BasicSpec.casl.output BasicSpec.signature.output Formula.casl.asMixfixFormula.output Formula.casl.output
4c4a3329080becd4b81d56396586b740487924cb	21-May-2003	Christian Maeder <Christian.Maeder@dfki.de>	refined analysis of datatypes and mixfix ids git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1433 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/StaticAna.hs BasicSpec.analysis.output BasicSpec.casl BasicSpec.casl.output BasicSpec.signature.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