| 96f7c7a07f939807a52234fde508fac35bd3405b |
|
25-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added hacapa dependency for output target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3715 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e973af819c2fb17f426944c8c4cfa00de5cd81a1 |
|
06-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed from bash to sh
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2551 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5214cf3742dc626a7efc5ec851db09bf0ff1f579 |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
recollected tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1351 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b96b500ba4430269d97a08f07de87838278e9c5d |
|
15-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added targets for shortcuts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@757 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fdbad18e66c0e293f94694458d47df305f050c71 |
|
15-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
class decl testing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@756 cec4b9c1-7d33-0410-9eda-942365e851bb |