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 |
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 |