| Wed, 17 Feb 2010 10:00:22 -0800 | huffman | remove $ from all HOLCF files | file | diff | annotate |
| Sun, 21 Oct 2007 14:21:48 +0200 | wenzelm | modernized specifications ('definition', 'abbreviation', 'notation'); | file | diff | annotate |
| Sat, 27 May 2006 19:49:36 +0200 | wenzelm | removed legacy ML scripts; | file | diff | annotate |