diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-28 14:29:29 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-28 14:29:29 +0000 |
commit | 4e7f2739343b8e91dcb61223b19e66e7c6de445f (patch) | |
tree | d7ccb1af1d192fc26b090c7ce4b97bba7ce98604 /twelf | |
parent | c750b0b4a8018a7802e1ef286d2b5d62fb8b4572 (diff) |
Var name change use-new-parsing -> use-new-parser. Turn on font lock by default.
Diffstat (limited to 'twelf')
-rw-r--r-- | twelf/twelf.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/twelf/twelf.el b/twelf/twelf.el index f7be550f..5d712bb5 100644 --- a/twelf/twelf.el +++ b/twelf/twelf.el @@ -41,7 +41,7 @@ proof-prog-name "twelf-server" proof-assistant-home-page "http://www.cs.cmu.edu/~twelf/" - proof-script-use-new-parsing t ;; FIXME: remove for PG 3.3 + proof-script-use-new-parser t ;; FIXME: remove for PG 3.3 proof-terminal-char ?\. proof-comment-start "%" ;; for inserting comments proof-comment-end "" @@ -130,7 +130,7 @@ ; da: this old entry is wrong: it says % always starts a comment ;(twelf-set-syntax ?% "< 14") ; comment begin ; This next one is much better, -(twelf-set-syntax ?% ". 14") ; comment begin +(twelf-set-syntax ?% ". 14") ; comment begin/second char (twelf-set-syntax ?\n "> ") ; comment end (twelf-set-syntax ?: ". ") ; punctuation (twelf-set-syntax ?. ". ") ; punctuation @@ -162,7 +162,9 @@ (defun twelf-mode-extra-config () (make-local-hook 'font-lock-after-fontify-buffer-hook) - (add-hook 'font-lock-after-fontify-buffer-hook 'twelf-font-fontify-buffer nil 'local)) + (add-hook 'font-lock-after-fontify-buffer-hook + 'twelf-font-fontify-buffer nil 'local) + (font-lock-mode)) (defconst twelf-syntax-menu '("Syntax Highlighting" |