diff options
| author | David Aspinall | 1998-11-25 15:15:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 15:15:03 +0000 |
| commit | 5c912377e96e616a5f1a8998e2a424c9b8522e2c (patch) | |
| tree | f6adfb056df2558441cd95bb99b3fbb3a894086d /etc/ProofGeneral.patch | |
| parent | 31e3705f43a3640aa9d0e5ea693ffa40bb6b74d7 (diff) | |
Updated patch
Diffstat (limited to 'etc/ProofGeneral.patch')
| -rw-r--r-- | etc/ProofGeneral.patch | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch index b0be5c97..5a329bb9 100644 --- a/etc/ProofGeneral.patch +++ b/etc/ProofGeneral.patch @@ -17,21 +17,21 @@ diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site. --- ProofGeneral/generic/proof-site.el Wed Oct 7 19:05:08 1998 *************** *** 76,82 **** - :group 'proof-internal) + :group 'proof-general-internals) (defcustom proof-info-directory ! (concat proof-home-directory "doc/") - "*Where Proof General Info files are installed." + "Where Proof General Info files are installed." :type 'directory - :group 'proof-internal) + :group 'proof-general-internals) --- 76,82 ---- - :group 'proof-internal) + :group 'proof-general-internals) (defcustom proof-info-directory ! "/usr/info/" - "*Where Proof General Info files are installed." + "Where Proof General Info files are installed." :type 'directory - :group 'proof-internal) + :group 'proof-general-internals) diff -cr ProofGeneral.old/lego/legotags ProofGeneral/lego/legotags *** ProofGeneral.old/lego/legotags Wed Oct 7 18:37:18 1998 --- ProofGeneral/lego/legotags Wed Oct 7 19:04:35 1998 |