History log of /hets/Common/test/Annotations.casl.perLine.output
Revision Date Author Comments Expand
0356139b408781bb2145522a0c3bf55af39e192c 01-Feb-2013 Christian Maeder <Christian.Maeder@dfki.de>

switched to parsec1-1.0.0.5 and parsec-3.1.3output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17740 cec4b9c1-7d33-0410-9eda-942365e851bb

eb233045ac7e7cc7746a13ac57ac1a82cb236e3e 11-Apr-2012 Christian Maeder <Christian.Maeder@dfki.de>

parsed semantic annos directly and not until eof git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16791 cec4b9c1-7d33-0410-9eda-942365e851bb

7ffd1820de86430c7dd603a483bbfc2b2502fe56 09-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

better indicate single % errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10280 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
1cd7dd7f751c17e13059615b571d52e74e5a9521 16-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

shorter error message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2873 cec4b9c1-7d33-0410-9eda-942365e851bb

4a5cf9543e275a23132e121b71566a58b231dc79 05-Jan-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed output of positions and errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1914 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