diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:09:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:09:27 +0000 |
| commit | f5eac3af8d3bab3352b47e5505299e0e0d948860 (patch) | |
| tree | 7191de35cd9485c5ea5b58c7814c231a08386bcc | |
| parent | 116a5129d07d8a08a04391c515f6f19d3cfb04a9 (diff) | |
Removed space from ProofGeneral name.
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 97fd4831..0bf2c306 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1485,7 +1485,7 @@ No action if BUF is nil." ["Proof General home page" (browse-url proof-proof-general-home-page) t] ["Proof General Info" - (info "Proof General") t] + (info "ProofGeneral") t] ) "Proof General help menu.") |