| 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 |
| 3fa78cc4ca8d77d7aa06b0d907d3abd809c96666 |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1339 cec4b9c1-7d33-0410-9eda-942365e851bb |