412ded8ec14beec0d72ad5aebb5cef66e7165fe4 |
|
18-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not test non-working HOLCF stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17584 cec4b9c1-7d33-0410-9eda-942365e851bb |
834a709f214cdafa3b46dabddd9e072d3f030c4d |
|
18-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed CVSROOT settings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13899 cec4b9c1-7d33-0410-9eda-942365e851bb |
62726f92bc66506cbc754b3f7f14afe4e92cd9f5 |
|
21-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
make the test run at all
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12995 cec4b9c1-7d33-0410-9eda-942365e851bb |
06e990f4a423bfdb1eacbcf57ba8832e09976986 |
|
25-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
the log file for HOLCF is too big
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7941 cec4b9c1-7d33-0410-9eda-942365e851bb |
df29370ae8d8b41587957f6bcdcb43a3f1927e47 |
|
20-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved h2h and h2hf from ToHaskell to Haskell
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6074 cec4b9c1-7d33-0410-9eda-942365e851bb |
449dec898e52d1ce9b809df70cf26cd567ae8518 |
|
09-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
use isabelle scripts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5942 cec4b9c1-7d33-0410-9eda-942365e851bb |
976c7755a5d5b3a7377b0889e39eaaf3bc1f4d9d |
|
23-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
different redirection for solaris sh
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5561 cec4b9c1-7d33-0410-9eda-942365e851bb |
4f747850e4f251b38ae9e8af25f40a3018368cea |
|
23-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
set CVSROOT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5560 cec4b9c1-7d33-0410-9eda-942365e851bb |
895a60f3f11b5f1210f146324e9ffe5e1b9c211f |
|
22-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test scripts and expected isabelle output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5556 cec4b9c1-7d33-0410-9eda-942365e851bb |