| Sat, 27 Nov 2010 17:14:29 -0800 | huffman | remove HOLCF from build script, since it no longer works | file | diff | annotate |
| Mon, 04 Jan 2010 11:55:23 +0100 | wenzelm | discontinued special HOL_USEDIR_OPTIONS; | file | diff | annotate |
| Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| Thu, 06 Mar 2008 19:21:22 +0100 | wenzelm | removed obsolete THIS_IS_ISABELLE_BUILD feature: change environment after getsettings (works due to static scoping); | file | diff | annotate |
| Thu, 01 Dec 2005 18:41:46 +0100 | wenzelm | replaced lib/scripts/showtime by more advanced lib/scripts/timestart|stop.bash; | file | diff | annotate |
| Mon, 26 Sep 2005 13:12:24 +0200 | wenzelm | echo HOL_USERDIR_OPTIONS; | file | diff | annotate |