diff options
Diffstat (limited to 'math/proofgeneral/files/patch-generic-proof-menu.el')
| -rw-r--r-- | math/proofgeneral/files/patch-generic-proof-menu.el | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/math/proofgeneral/files/patch-generic-proof-menu.el b/math/proofgeneral/files/patch-generic-proof-menu.el index ff4c4f33394b..e69de29bb2d1 100644 --- a/math/proofgeneral/files/patch-generic-proof-menu.el +++ b/math/proofgeneral/files/patch-generic-proof-menu.el @@ -1,15 +0,0 @@ ---- generic/proof-menu.el.orig Fri Jul 22 17:46:09 2005 -+++ generic/proof-menu.el Fri Jul 22 17:46:09 2005 -@@ -176,10 +176,10 @@ - (cons "Help" - (append - `([,(concat proof-assistant " information") -- '(proof-help) -+ (proof-help) - ,menuvisiblep proof-info-command] - [,(concat proof-assistant " web page") -- '(browse-url proof-assistant-home-page) -+ (browse-url proof-assistant-home-page) - ,menuvisiblep proof-assistant-home-page]) - (proof-ass help-menu-entries)))))))) - |