| Sat, 28 Apr 2012 16:06:30 +0200 | wenzelm | some updates concerning current Proof General 4.x, which lacks X-Symbol mode of 3.x; | file | diff | annotate |
| Mon, 06 Jun 2005 21:20:54 +0200 | nipkow | updating... | file | diff | annotate |
| Mon, 15 Dec 2003 17:08:41 +0100 | paulson | updated references to the now-pornographic proofgeneral.org | file | diff | annotate |