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;
     1 ;
     2 ; $Id$
     3 ;
     4 ; Options for Proof General
     5 ;
     6 
     7 ; Override XEmacs custom settings (commented out)
     8 ;(custom-set-variables '(isar-eta-contract nil))