| 39e3d1e1f233b34567824f0ac8c942ff63586349 |
|
20-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
pattern file was not found
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6071 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f63542473cfd142d1d19f2abdf7f8b10679c9716 |
|
09-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
pass arguments as parameter
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5941 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0b809c211568d1c477703699393a0efc6bf3555c |
|
03-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed commented out code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5908 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9c72f9ad18c36a9c20c79b58b358da56f341b204 |
|
02-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a different CASL-lib dir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5896 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c3ba67c693ad8799b8a70d54ec7d337edc026e28 |
|
28-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added redirection
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5884 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a84fcef461d6ef423fa3bdefc29d745bd34cb331 |
|
28-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed diffing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5881 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 806fd9e08b8b68eeeb0eccfd8892046a2985e594 |
|
28-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed order and used hets in PATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5879 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 11ad38296d4182aac74ce6d5bef27911fbc9690d |
|
28-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
for furhter time consuming tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5878 cec4b9c1-7d33-0410-9eda-942365e851bb |