diff options
| author | David Aspinall | 1999-11-18 18:04:36 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-18 18:04:36 +0000 |
| commit | 0ff64855aed5f83904d200f530c45c9ecffc84e9 (patch) | |
| tree | b8ddcddc468ce5af515da359a7d6d0d4b1838ec3 | |
| parent | 380a9a35b66b425bfd3d79ffdfaf3fff9c30607f (diff) | |
Removed comment.
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 03034961..773e7967 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -48,6 +48,7 @@ ;; proof-response-buffer-display now in proof.el, removed from above. + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; Internal variables used by script mode @@ -2532,10 +2533,7 @@ assistant." ;; can take a long time to fontify. (setq font-lock-always-fontify-immediately t))))) - ;; Maybe turn on x-symbol mode - ;; [no need for script mode files to be on xsymbol-auto-mode-alist; - ;; having the switch here also takes care of non-files switched - ;; into the mode by hand] + ;; Maybe turn on x-symbol mode. (proof-x-symbol-mode)) |