diff options
| -rw-r--r-- | generic/proof-config.el | 8 | ||||
| -rw-r--r-- | generic/proof-script.el | 2 |
2 files changed, 5 insertions, 5 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index c1c54048..337a04e8 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1409,9 +1409,9 @@ Proof General." or use the menu command Proof-General -> Submit bug report." nil) "Evaluated to configure splash screen displayed when entering Proof General. -If an element is a string or an image specifier, it is displayed -centred on the window on its own line. If it is nil, a new line is -inserted." +A list of the screen contents. If an element is a string or an image +specifier, it is displayed centred on the window on its own line. +If it is nil, a new line is inserted." :type 'sexp :group 'proof-general-internals) @@ -1480,7 +1480,7 @@ x-symbol support is activated." :type 'string :group 'proof-general-internals) -(defcustom proof-proof-general-home-page +(defcustom proof-general-home-page "http://www.dcs.ed.ac.uk/home/proofgen" "*Web address for Proof General" :type 'string 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] ) |