diff options
author | 2007-04-23 07:45:59 +0000 | |
---|---|---|
committer | 2007-04-23 07:45:59 +0000 | |
commit | b9c08d068208a1dcb144d7609a33f19ae32bfbce (patch) | |
tree | cd0ad6d4e50d4288bc32e3e332286cc049cc77f2 /generic | |
parent | 7b3aa6cde341acaca195134d676c38f1f3fb9a24 (diff) |
Clean comments around eval-and-compile proof-mode
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index fc0d6cb7..893a9f6a 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2461,14 +2461,10 @@ command." (make-local-hook 'after-set-visited-file-name-hooks) (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))) -;;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 |