diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2002-03-05 17:01:46 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2002-03-05 17:01:46 +0000 |
| commit | a572b1d82c82d2bec68a2609846bbd71eafc1188 (patch) | |
| tree | 9693b529410ac251025e696cebe0c43f5bb9ab4c /phox/phox.el | |
| parent | 53f9b7fdc3a89888d9b1799702dec3381b864aea (diff) | |
*** empty log message ***
Diffstat (limited to 'phox/phox.el')
| -rw-r--r-- | phox/phox.el | 6 |
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 |