etc/proofgeneral-settings.el
2011-01-30 ago clarified example settings for Proof General;
2011-01-23 ago do not overwrite proof-shell-quit-timeout by default (final PG 4.1 supposedly gets it right);
2011-01-15 ago hardwired default for proof-shell-quit-timeout (PG 4.1 provides rather low value);
2009-10-18 ago disable indent-tabs-mode in Proof General / Emacs;
2008-12-20 ago removed Ids;
2001-09-28 ago tuned;
2001-02-05 ago example Proof General settings;