| 9f4362a04e0f381642ddf86fd81a43f2b56f1b96 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replace Header with Id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8302 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 099a7b3d3d666a3789b50465908ec9b1721c34ed |
|
04-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
supplied a path for ghc-call
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3213 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 89390a303afa9ca380fc9b878cffdd88667fdd25 |
|
07-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
delegating Makefile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1362 cec4b9c1-7d33-0410-9eda-942365e851bb |