obsolete / unmaintained;

--- a/etc/proofgeneral-settings.el	Mon Jan 06 19:42:52 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-;;; Options for Proof General
-;;;
-;;; Examples for sensible settings:
-
-;; keep sources clean
-(custom-set-variables '(indent-tabs-mode nil))
-
-;; retain vital AltGr behaviour, e.g. on non-US Mac OS X
-;(custom-set-variables '(ns-alternate-modifier 'none))
-
-;; longer timeout for saving persistent session
-;(custom-set-variables '(proof-shell-quit-timeout 60))
-