etc/proofgeneral-settings.el
2001-02-05 wenzelm 2001-02-05 example Proof General settings;