# HG changeset patch
# User wenzelm
# Date 981379855 -3600
# Node ID 9b9d48ce3b6c8a06d1e6c7e9dc7737bfdff37019
# Parent  a58e0bd448dff31c5afd58284e3f9c2e438ba582
example Proof General settings;

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))