diff options
| -rw-r--r-- | generic/proof-script.el | 2 | ||||
| -rw-r--r-- | todo | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index dd055db3..76e2e510 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1953,6 +1953,8 @@ No action if BUF is nil." (defvar proof-help-menu `("Help" + [,(concat proof-assistant " information") + (proof-help) t] [,(concat proof-assistant " web page") (browse-url proof-assistant-home-page) t] ["Proof General home page" @@ -52,8 +52,6 @@ re-enabled), proof-toggle-scripting, new configuration options. - noticeable delay when loading ML files for Isabelle (fontification?) - clean up assert-until-point stuff at last! -C Add binding for proof info function to help menu. - D Why don't PG's minor modes appear on XEmacs minor mode menu? (C-right on status bar) |