Sat, 27 Nov 2010 17:44:36 -0800 | huffman | fix cut-and-paste errors for HOLCF entries in IsaMakefile | changeset | files |
Sat, 27 Nov 2010 17:29:21 -0800 | huffman | update web description of HOLCF; | changeset | files |
Sat, 27 Nov 2010 17:14:29 -0800 | huffman | remove HOLCF from build script, since it no longer works | changeset | files |