diff options
| author | Pierre Courtieu | 2007-04-16 14:39:51 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2007-04-16 14:39:51 +0000 |
| commit | 8bfdbe58f5b814a087c03439d25fed178e60066b (patch) | |
| tree | c16cd52a3ec49667d4cf73307181e17089fbb151 /generic/proof-script.el | |
| parent | 9093e9c24213318a27888363b72659d05ce1ff6c (diff) | |
Fixed a parenthesis, suggested by Stefan Monnier.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 41f691da..fc0d6cb7 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2459,14 +2459,16 @@ command." (proof-script-set-buffer-hooks) (make-local-hook 'after-set-visited-file-name-hooks) - (add-hook 'after-set-visited-file-name-hooks 'proof-script-set-visited-file-name)) + (add-hook 'after-set-visited-file-name-hooks 'proof-script-set-visited-file-name) ;; FIXME 3.5: noticed 22.04.04 that 'proof-activate-scripting-hook is ;; no longer inherited for some reason! + ;; pc: it seems to be a bad parenthese, fixed on 16/04/07 (make-local-hook 'proof-activate-scripting-hook) (make-local-hook 'proof-deactivate-scripting-hook) - (add-hook 'proof-activate-scripting-hook 'proof-cd-sync nil t)) + (add-hook 'proof-activate-scripting-hook 'proof-cd-sync nil t))) +;;pc: should this be inside the eval-and-compile above ?? ;; NB: proof-mode-map declared by define-derived-mode above (proof-menu-define-keys proof-mode-map) ;; NB: top-level form |