| cb4055cc3af69318bf29f7a6a8c6a8470711c906 |
|
27-Nov-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
adaption for @ variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11107 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 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 |
| 2c660dda060478679a746bf9a61d844af5d52531 |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved tests to subdirectory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1350 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 409578f7f6dbee1e10dd1c969328bb92dabd087d |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@944 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c19d30c596085989cbac4c2b64e0d2eb6ec7aa98 |
|
15-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added output target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@761 cec4b9c1-7d33-0410-9eda-942365e851bb |
| aa1c971871ba8f793a9e2e62189369cbfbbe0054 |
|
06-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added bash
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@676 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9db48b4604636bfdf03e60890fc094b7bec775dc |
|
21-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted files for hugs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@653 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cce382d13c42645a228eebd6a8e9c743fb4bd4de |
|
04-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added dependency
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@591 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 87e6c0c2a0ef293a0c1869e1e17271e9bbde7cd1 |
|
16-Oct-2002 |
Pascal Schmidt <pleasure.and.pain@web.de> |
Do not assume local dir to be in $PATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@538 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3e7a98fcd911befee2881d715f298e2e08db718e |
|
14-Oct-2002 |
Pascal Schmidt <pleasure.and.pain@web.de> |
Added newline at end of file to avoid messing my console up.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@518 cec4b9c1-7d33-0410-9eda-942365e851bb |
| faf8ae9e57aecf780f77f114de886af4c1a0f0cc |
|
10-Oct-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@509 cec4b9c1-7d33-0410-9eda-942365e851bb |