| 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 |
| 0427858b4ffac1f5f67ddcc0ace7e89511410bff |
|
20-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
advanced mixana with weights
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1973 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0cefc40bed0a5ad26b76ad7def2623f79b9eaf0f |
|
19-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected var decls, changed mixana
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1971 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 |
| d942df4981b51d5969ee9e2886f04826955681ef |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved checkFunctions.sh
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1338 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9a648682ccaa8ef63583548c3edb01c6542d7885 |
|
16-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed testing via RunParsers.hs (now in Common/)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1267 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 |