History log of /hets/Common/test/Annotations.casl.output
Revision Date Author Comments Expand
e218f6ce27ce26c7880da14aa8221380474396fe 26-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

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

2f2237571ed7885b0f1ccb2c17996e8922f3d12d 07-Aug-2006 Christian Maeder <Christian.Maeder@dfki.de>

avoided final spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6780 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.casl.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/MixfixTerms.casl.output /hets/CASL/test/X1.casl.output /hets/CASL/test/X2.casl.output /hets/CASL/test/X3.casl.output /hets/CASL/test/X4.casl.output /hets/CASL/test/XOver1.casl.output /hets/CASL/test/XTest.casl.output /hets/Common/Doc.hs Annotations.casl.global.output Annotations.casl.output Annotations.casl.perLine.output /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/BasicSpec.casl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.parser.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/Double.hascasl.output /hets/HasCASL/test/Expr.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Items.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/Num.hascasl.output /hets/HasCASL/test/OpDecls.hascasl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/SuperClassErrors.hascasl.output /hets/HasCASL/test/Terms.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.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

1211c01880618946a7607bbffd9e70ace3864511 02-Mar-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed group formatting git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2231 cec4b9c1-7d33-0410-9eda-942365e851bb

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

1d2c2ebba52ca5c89ca40181064ab30e2ef26403 07-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

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