etc/proofgeneral-settings.el
Fri, 28 Sep 2001 20:08:05 +0200 wenzelm tuned;
Mon, 05 Feb 2001 14:30:55 +0100 wenzelm example Proof General settings;
less more (0) tip