| Tue, 05 Jan 2010 16:55:00 +0100 | wenzelm | recovered legacy settings for Proof General 3.x; | file | diff | annotate |
| Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Mon, 06 Oct 2008 22:35:03 +0200 | wenzelm | extra check of PROOFGENERAL_HOME; | file | diff | annotate |
| Tue, 16 Sep 2008 17:18:41 +0200 | wenzelm | Proof General / Emacs interface wrapper; | file | diff | annotate |