diff options
| -rw-r--r-- | generic/proof-x-symbol.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 3294b6a8..ace4ac64 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -192,7 +192,8 @@ in future if we have just activated it for this buffer." ;; and I think this is a good place ... may be a variable should control ;; an option to have x-symbol only in the output buffer but not in the script ;; buffer ? - (proof-x-symbol-set-language) +;; (proof-x-symbol-set-language) +;; DA: this is done already I believe, PhoX used a funny startup perhaps. (x-symbol-mode) (proof-x-symbol-mode-associated-buffers)) |