| 2010-01-05 | wenzelm | recovered legacy settings for Proof General 3.x; | file | diff | annotate |
| 2008-12-20 | wenzelm | removed Ids; | file | diff | annotate |
| 2008-10-06 | wenzelm | extra check of PROOFGENERAL_HOME; | file | diff | annotate |
| 2008-09-16 | wenzelm | Proof General / Emacs interface wrapper; | file | diff | annotate |