From eaa288e4dd6a14c301bee5330fc4fbf10f701c9f Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 13 Feb 2005 19:08:56 +0000
Subject: Attempt to address X-Symbol startup problems for PhoX.

---
 phox/phox.el | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'phox')

diff --git a/phox/phox.el b/phox/phox.el
index f9645e0e..047d8ec4 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -33,10 +33,13 @@
   :type 'file
   :group 'phox)
 
-(defcustom phox-x-symbol-enable t
-  "*Whether to use x-symbol or not."
-  :type 'boolean
-  :group 'phox)
+; da: I commented this out, it should be defined automatically
+; in proof-config.el.  If you want to change the default to t,
+; then perhaps:  (custom-set-default phox-x-symbol-enable t)
+;(defcustom phox-x-symbol-enable t
+;  "*Whether to use x-symbol or not."
+;  :type 'boolean
+;  :group 'phox)
 
 (defcustom phox-web-page
   "http://www.lama.univ-savoie.fr/~RAFFALLI/phox.html"
-- 
cgit v1.2.3