diff options
Diffstat (limited to 'generic/proof-script.el')
| -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 9ce5d76c..4481205e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1939,7 +1939,7 @@ No action if BUF is nil." [,(concat proof-assistant " web page") (browse-url proof-assistant-home-page) t] ["Proof General home page" - (browse-url proof-proof-general-home-page) t] + (browse-url proof-general-home-page) t] ["Proof General Info" (info "ProofGeneral") t] ) |