--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/etc/proofgeneral-settings.el Mon Feb 05 14:30:55 2001 +0100
@@ -0,0 +1,8 @@
+;
+; $Id$
+;
+; Options for Proof General
+;
+
+; Override XEmacs custom settings (commented out)
+;(custom-set-variables '(isar-eta-contract nil))