| 5a448e9be8c4482a978b174b744237757335140f |
|
22-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to utf8 default encoding
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16672 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7325bbe03797fd413af504fb3fac109b2c652a7b |
|
09-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed barS within mixIds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1370 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 27129ec55f1143a659fbbcccf1809a5be2279f96 |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added the tests for HasCASL MixIds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1353 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cf5fdcd773e0fd6ed4b94273311a591b1b4ddef9 |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
tests from CASL for ids and annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1336 cec4b9c1-7d33-0410-9eda-942365e851bb |