diff options
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" |