Fri, 14 Jan 2011 20:22:27 +0100 | wenzelm | bundle main HOL image only, to save about 300 MB disk space; | file | diff | annotate |
Sun, 28 Nov 2010 13:55:19 +0100 | wenzelm | follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf); | file | diff | annotate |
Sun, 06 Jun 2010 18:29:10 +0200 | wenzelm | removed obsolete dry-run option; | file | diff | annotate |
Wed, 02 Jun 2010 16:42:58 +0200 | wenzelm | removed obsolete usedir -p 1 option; | file | diff | annotate |
Mon, 04 Jan 2010 11:55:23 +0100 | wenzelm | discontinued special HOL_USEDIR_OPTIONS; | file | diff | annotate |
Sun, 29 Nov 2009 17:13:27 +0100 | wenzelm | added HOLCF image; | file | diff | annotate |
Fri, 03 Apr 2009 12:08:09 +0200 | wenzelm | single-threaded build; | file | diff | annotate |