| 5334aa8fe0b0d1eb8a1cad40b741aa07172773c9 |
|
30-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a fix for ticket #412
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8513 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6b7d53eb1a93b9a9d7e3ce48964128fcd142fe53 |
|
28-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed kinds without variances if kind is known (ticket #363)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8172 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4ea69d9a971bbb8b4082bcd60350fdabd5411c23 |
|
19-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
more cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8080 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2083784cdbe448a3d8f94c7a0a0a011bbabf3fd0 |
|
18-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
test cases from the overview
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8066 cec4b9c1-7d33-0410-9eda-942365e851bb |