aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox/phox.el
diff options
context:
space:
mode:
Diffstat (limited to 'phox/phox.el')
-rw-r--r--phox/phox.el6
1 files changed, 2 insertions, 4 deletions
diff --git a/phox/phox.el b/phox/phox.el
index 2f0680e9..eb5295d8 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -206,8 +206,7 @@
font-lock-keywords phox-font-lock-keywords
proof-output-fontify-enable t)
(phox-sym-lock-start)
- (proof-response-config-done)
- (font-lock-mode))
+ (proof-response-config-done))
(define-derived-mode phox-goals-mode proof-goals-mode
"PhoX goals" nil
@@ -215,8 +214,7 @@
font-lock-keywords phox-font-lock-keywords
proof-output-fontify-enable t)
(phox-sym-lock-start)
- (proof-goals-config-done)
- (font-lock-mode))
+ (proof-goals-config-done))
;; The response buffer and goals buffer modes defined above are
;; trivial. In fact, we don't need to define them at all -- they