etc/proofgeneral-settings.el
author wenzelm
Mon Feb 05 14:30:55 2001 +0100 (2001-02-05)
changeset 11061 9b9d48ce3b6c
child 11635 fd242f857508
permissions -rw-r--r--
example Proof General settings;
wenzelm@11061
     1
;
wenzelm@11061
     2
; $Id$
wenzelm@11061
     3
;
wenzelm@11061
     4
; Options for Proof General
wenzelm@11061
     5
;
wenzelm@11061
     6
wenzelm@11061
     7
; Override XEmacs custom settings (commented out)
wenzelm@11061
     8
;(custom-set-variables '(isar-eta-contract nil))