Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
etc/proofgeneral-settings.el
author wenzelm
Mon, 05 Feb 2001 14:30:55 +0100
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))
wneuper/isa