History log of /hets/HolLight/OcamlTools/Makefile
Revision Date Author Comments Expand
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