Changes in BasicSpec.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/BasicSpec.hascasl en Copyright 2005 Java only allow &lt; in class-decls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10262 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/BasicSpec.hascasl - 9b3f1a9c8994dc5a964d53de628f650317fa6d6f 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 /hets/HasCASL/test/BasicSpec.hascasl - a030fdd60d67ac5b7fe898c4346a64f136807013 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/test/BasicSpec.hascasl - bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2 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 /hets/HasCASL/test/BasicSpec.hascasl - 7b47917488ffdd72119358c064c94e5dfc4f8fe3 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/test/BasicSpec.hascasl - c18e9c3c6d5039618f1f2c05526ece84c7794ea3 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 /hets/HasCASL/test/BasicSpec.hascasl - fcfed328fae6266214ee61ee7a16fd263fd3cb70 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 /hets/HasCASL/test/BasicSpec.hascasl - aa60342b6a000c6798730e1b1ddeec846254c62c 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 /hets/HasCASL/test/BasicSpec.hascasl - 5214cf3742dc626a7efc5ec851db09bf0ff1f579 Christian Maeder <Christian.Maeder@dfki.de>