History log of /hets/Common/test/WrongPrecedence.annos.global.output
Revision Date Author Comments Expand
5de34eba726f63d1522bf17a857309a6208ce0b5 19-Apr-2013 Christian Maeder <Christian.Maeder@dfki.de>

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

/hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/Formula.casl.asMixfixFormula.output /hets/CASL/test/Terms.casl.asMixfixTerms.output /hets/CASL/test/WrongMixfixFormula.casl.output /hets/CASL/test/WrongMixfixTerms.casl.output /hets/CASL/test/X2.casl.output /hets/Common/Result.hs Annotations.casl.global.output WrongPrecedence.annos.global.output /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/Binder.hascasl.output /hets/HasCASL/test/BoundedOrd.hascasl.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/CTree.hascasl.output /hets/HasCASL/test/CastFun.hascasl.output /hets/HasCASL/test/Chain.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/ContraVariance.hascasl.output /hets/HasCASL/test/Coproducts.hascasl.output /hets/HasCASL/test/Double.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Freetype.hascasl.output /hets/HasCASL/test/Functor.hascasl.output /hets/HasCASL/test/FunctorMonadTransformer.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixFormula.casl.output /hets/HasCASL/test/MixfixTerms.casl.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/Per.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/Phantom.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/StateMonad.hascasl.output /hets/HasCASL/test/Subtype.hascasl.output /hets/HasCASL/test/Subtype5.hascasl.output /hets/HasCASL/test/WrongMixfixTerms.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output
37a69d649b33c6b4aaa58129bdf1091e443b2f0e 04-Dec-2012 Christian Maeder <Christian.Maeder@dfki.de>

changed error messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17671 cec4b9c1-7d33-0410-9eda-942365e851bb
813eb5721ae4ea1b3e2903727bf440ce594d45a8 02-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

minimally print precedences git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11349 cec4b9c1-7d33-0410-9eda-942365e851bb
bf0a12ff587940621f70ef590176d498ff4c7847 18-Sep-2007 Christian Maeder <Christian.Maeder@dfki.de>

considered newlines in text docs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8863 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/test/WrongMixfixTerms.casl.output /hets/Common/Doc.hs Annotations.casl.global.output WrongPrecedence.annos.global.output /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/BoundedOrd.hascasl.output /hets/HasCASL/test/CTree.hascasl.output /hets/HasCASL/test/ContraVariance.hascasl.output /hets/HasCASL/test/EmptyLambda.hascasl.output /hets/HasCASL/test/FunctorMonadTransformer.hascasl.output /hets/HasCASL/test/Lazy.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/WrongMixfixTerms.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output
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
cf7cc71f4f566a9f2c230dc4f0cb017066e7921e 21-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

replace __* by ### git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5553 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
3141ac1ae0a0b9f86af05f439bc79316451b94f3 17-Jun-2003 Carsten Fischer <cfi@informatik.uni-bremen.de>

merging global annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1502 cec4b9c1-7d33-0410-9eda-942365e851bb
c28143d40aca0358ecd33e3fc58e16e6d5cf9851 17-Jun-2003 Carsten Fischer <cfi@informatik.uni-bremen.de>

wrong precedence test git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1501 cec4b9c1-7d33-0410-9eda-942365e851bb