| f89a3a8a5f8f4c39570125a7c5e5da9a1c700d1c |
|
10-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13851 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 92013e8efb5301127d08a609b2ab93fd919aedc6 |
|
25-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11581 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b1d984326e2a2331403d7e4f0b0668a16d311c4a |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
used for tests only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4211 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 78f51585b9ef1095880ddd235a8d41ff9e152fc5 |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Darwin (mac) as architecture
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2041 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7581ae710aa768abfd56e35646bf8ebe048aba94 |
|
19-Feb-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Updated the DrIFT Version to release Canditate 3 of DrIFT 2.0 maintained by John Meacham; so the sources variable needs to point to DrIFT.hs instead of DrIFT.lhs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@909 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2c46a8a5b3e825d6d49513c691a55729414c2308 |
|
17-May-2002 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
A Makefile for generating a Linux and solaris version of DrIFT.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@213 cec4b9c1-7d33-0410-9eda-942365e851bb |