diff options
author | 1999-06-07 17:23:45 +0000 | |
---|---|---|
committer | 1999-06-07 17:23:45 +0000 | |
commit | 69df6dfab116b91bb5c01b085662ff46880a654d (patch) | |
tree | 8d9e751690b5bfdca47507abb15f07209c468dfa /etc/ProofGeneral.patch | |
parent | caf4c9ea5ff87fd4c9ea8f991f990d4779dd172a (diff) |
Patched patch for updated proof-site.el
Diffstat (limited to 'etc/ProofGeneral.patch')
-rw-r--r-- | etc/ProofGeneral.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch index 26625b2e..f4db47bb 100644 --- a/etc/ProofGeneral.patch +++ b/etc/ProofGeneral.patch @@ -21,7 +21,7 @@ diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site. (defcustom proof-info-directory ! (concat proof-home-directory "doc/") - "Where Proof General Info files are installed." + "Where Proof General Info files are installed. Ends with slash." :type 'directory :group 'proof-general-internals) --- 92,98 ---- @@ -29,7 +29,7 @@ diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site. (defcustom proof-info-directory ! "/usr/info/" - "Where Proof General Info files are installed." + "Where Proof General Info files are installed. Ends with slash." :type 'directory :group 'proof-general-internals) diff -cr ProofGeneral.old/lego/legotags ProofGeneral/lego/legotags |