diff -r a58e0bd448df -r 9b9d48ce3b6c etc/proofgeneral-settings.el
--- /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))