changeset 11061 | 9b9d48ce3b6c |
child 11635 | fd242f857508 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/etc/proofgeneral-settings.el Mon Feb 05 14:30:55 2001 +0100 1.3 @@ -0,0 +1,8 @@ 1.4 +; 1.5 +; $Id$ 1.6 +; 1.7 +; Options for Proof General 1.8 +; 1.9 + 1.10 +; Override XEmacs custom settings (commented out) 1.11 +;(custom-set-variables '(isar-eta-contract nil))