etc/proofgeneral-settings.el
changeset 11061 9b9d48ce3b6c
child 11635 fd242f857508
equal deleted inserted replaced
11060:a58e0bd448df 11061:9b9d48ce3b6c
       
     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))