| Sun, 18 Oct 2009 00:10:20 +0200 | disable indent-tabs-mode in Proof General / Emacs; | file | diff | annotate |
| Sat, 20 Dec 2008 11:55:34 +0100 | removed Ids; | file | diff | annotate |
| Fri, 28 Sep 2001 20:08:05 +0200 | tuned; | file | diff | annotate |
| Mon, 05 Feb 2001 14:30:55 +0100 | example Proof General settings; | file | diff | annotate |