| 1ac35b084d7e57853f66169d2ca5532977fc403a |
|
09-May-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
use gmake on SunOS |
| 46713e5f9ffe83b6f0bd0f0a4fb297bf25da3112 |
|
13-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
new image
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17622 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 08c52c0cec0842d53e51cfbedae2c0e0d6c4e641 |
|
08-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16552 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b30a1926ed6257332005c6ad5d556dd08b196f30 |
|
29-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use global environment variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16497 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4840e920f9caeeacae35fc902b0fe720ee0e8dcb |
|
29-Nov-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added garbage-collection before building image
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16494 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6ad9bcb1be234d475541a44c750ecf6f57294dce |
|
28-Nov-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed checkpointing in hollight
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16491 cec4b9c1-7d33-0410-9eda-942365e851bb |