# HG changeset patch
# User wenzelm
# Date 1389034031 -3600
# Node ID 8cccfb8f1d366dea5ffefd449ec69c84e44c1d92
# Parent  ce4bf91331e7802e18080cb9d4aaefc749063abd
obsolete / unmaintained;

diff -r ce4bf91331e7 -r 8cccfb8f1d36 etc/proofgeneral-settings.el
--- 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))
-