author | wenzelm |
Mon, 05 Feb 2001 14:30:55 +0100 | |
changeset 11061 | 9b9d48ce3b6c |
parent 11060 | a58e0bd448df |
child 11062 | e86340dc1d28 |
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))