| 3a184d717836f004116f7e9455d116e8a06b2499 |
|
19-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Hascasl Error
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8415 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d16796d2e67b21942cb8869a2bd7727b0c49f602 |
|
06-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
programatica test cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3630 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b5b03751832cc37eb5be9409d9efba4882935611 |
|
26-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
no selectors and no type annos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2722 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bada0c99c6398c209ec9c6a9f5b316b7b5c99b33 |
|
26-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
test case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2703 cec4b9c1-7d33-0410-9eda-942365e851bb |