| Thu, 17 Jul 2008 21:22:44 +0200 | wenzelm | tuned line breaks (NB: generated text is inserted here); | file | diff | annotate |
| Thu, 05 Jun 2008 12:03:48 +0200 | haftmann | adjusted location of cambridge website | file | diff | annotate |
| Wed, 28 May 2008 22:54:05 +0200 | wenzelm | tuned version numbers; | file | diff | annotate |
| Tue, 20 Nov 2007 13:55:13 +0100 | wenzelm | updated Proof General advertisement; | file | diff | annotate |
| Mon, 12 Nov 2007 23:08:12 +0100 | wenzelm | removed left-over text links from lynx conversion; | file | diff | annotate |
| Sat, 27 Oct 2007 12:48:44 +0200 | haftmann | ASCIIfied README | file | diff | annotate |
| Wed, 27 Nov 1996 13:04:04 +0100 | paulson | Updated instructions | file | diff | annotate |