etc/proofgeneral-settings.el
2009-10-18 wenzelm 2009-10-18 disable indent-tabs-mode in Proof General / Emacs;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2001-09-28 wenzelm 2001-09-28 tuned;
2001-02-05 wenzelm 2001-02-05 example Proof General settings;