etc/proofgeneral-settings.el
author blanchet
Wed, 01 Jun 2011 19:50:59 +0200
changeset 43139 9ed5d8ad8fa0
parent 41648 6d736d983d5c
permissions -rw-r--r--
fixed debilitating translation bug introduced in b6e61d22fa61 -- "equal" and "=" should always have arity 2

;;; 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))