| Sun, 30 Jan 2011 13:02:18 +0100 | clarified example settings for Proof General; | file | diff | annotate |
| Sun, 23 Jan 2011 16:29:10 +0100 | do not overwrite proof-shell-quit-timeout by default (final PG 4.1 supposedly gets it right); | file | diff | annotate |
| Sat, 15 Jan 2011 12:19:07 +0100 | hardwired default for proof-shell-quit-timeout (PG 4.1 provides rather low value); | file | diff | annotate |
| 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 |