| 7346dce678f0786a8faed1d83bdea2bd79dcc65e |
|
16-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
collecting signature only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1412 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9a6861ccf8fce8d034ef0810a09e7abdf8d2fc94 |
|
16-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to current analysis state
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1411 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c38f6bd7e9fcd7bec8896d7d6e393dbf61c93013 |
|
09-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated to current state
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1378 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ffd0977cdd45c37bcfaa32b3535ef97909cfad63 |
|
26-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted local documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1019 cec4b9c1-7d33-0410-9eda-942365e851bb |