diff options
| author | David Aspinall | 2005-02-13 19:13:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-02-13 19:13:13 +0000 |
| commit | a5fef2b565a3849eb5c8238ec2f7b64587ba840e (patch) | |
| tree | b78368bf50e132fee2364b2317f2e2549b68033f /generic | |
| parent | b59563d01e2fa5cd0b2a4e6a26505fe17ee456df (diff) | |
Remove setting of x-symbol-language by C Raffalli.
Diffstat (limited to 'generic')
| -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)) |