History log of /hets/HasCASL/test/BasicSpec.hascasl
Revision Date Author Comments Expand
9b3f1a9c8994dc5a964d53de628f650317fa6d6f 04-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

only allow &lt; in class-decls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10262 cec4b9c1-7d33-0410-9eda-942365e851bb
a030fdd60d67ac5b7fe898c4346a64f136807013 05-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed intersection and downset kinds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4558 cec4b9c1-7d33-0410-9eda-942365e851bb
bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2 30-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

moved variance sign to front of kind git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4544 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/VarDecl.hs Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl ContraVariance.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output Kinds.hascasl Kinds.hascasl.output Lazy.hascasl.output ListEx.hascasl ListEx.hascasl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output PossibleDownsetConflict.hascasl.output Prelude.hascasl Prelude.hascasl.output SuperClassErrors.hascasl.output WrongItems.hascasl.output WrongKinds.hascasl WrongKinds.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl YCombinator.hascasl.output ZMapArgs.hascasl.output
7b47917488ffdd72119358c064c94e5dfc4f8fe3 22-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

untabified git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3316 cec4b9c1-7d33-0410-9eda-942365e851bb
c18e9c3c6d5039618f1f2c05526ece84c7794ea3 25-Sep-2003 Christian Maeder <Christian.Maeder@dfki.de>

merge raw-kinds branch with main trunk git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1727 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/ClassDecl.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Merge.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs B1.hascasl B1.hascasl.output BasicSpec.hascasl BasicSpec.hascasl.output BasicSpec.hascasl.parser.output Items.hascasl.output PlainTypes.hascasl.output PossibleDownsetConflict.hascasl PossibleDownsetConflict.hascasl.output Prelude.hascasl.output SuperClassErrors.hascasl SuperClassErrors.hascasl.output SuperClassWarnings.hascasl SuperClassWarnings.hascasl.output WrongItems.hascasl.output WrongKinds.hascasl.output WrongTerms.hascasl.output XInternal.hascasl XInternal.hascasl.output
fcfed328fae6266214ee61ee7a16fd263fd3cb70 12-Jun-2003 Christian Maeder <Christian.Maeder@dfki.de>

specialized pattern variables and checked for unknown tokens git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1497 cec4b9c1-7d33-0410-9eda-942365e851bb
aa60342b6a000c6798730e1b1ddeec846254c62c 05-Jun-2003 Christian Maeder <Christian.Maeder@dfki.de>

disallowed semicolon in patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1472 cec4b9c1-7d33-0410-9eda-942365e851bb
5214cf3742dc626a7efc5ec851db09bf0ff1f579 06-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

recollected tests git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1351 cec4b9c1-7d33-0410-9eda-942365e851bb