diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2005-02-13 19:08:56 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2005-02-13 19:08:56 +0000 |
commit | eaa288e4dd6a14c301bee5330fc4fbf10f701c9f (patch) | |
tree | e6c26ab2a65e48e2d39873c2e0dfd1f140dc8d94 /phox | |
parent | d8775673a7a6c8d1e94aed1f007e2249aea19f50 (diff) |
Attempt to address X-Symbol startup problems for PhoX.
Diffstat (limited to 'phox')
-rw-r--r-- | phox/phox.el | 11 |
1 files changed, 7 insertions, 4 deletions
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" |