| 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 |