diff options
| author | David Aspinall | 1999-06-07 17:11:25 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-07 17:11:25 +0000 |
| commit | 686d42abbcd80a551da4bab78d58829e722c3251 (patch) | |
| tree | 351f1a079bf19c1ac436dcad34aaed2af9dc1ac0 /etc/ProofGeneral.patch | |
| parent | 782bbd5488e8cdda659dae672e40cb9bbbb24d1c (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 5a329bb9..26625b2e 100644 --- a/etc/ProofGeneral.patch +++ b/etc/ProofGeneral.patch @@ -16,7 +16,7 @@ diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site. *** ProofGeneral.old/generic/proof-site.el Wed Oct 7 18:38:21 1998 --- ProofGeneral/generic/proof-site.el Wed Oct 7 19:05:08 1998 *************** -*** 76,82 **** +*** 92,98 **** :group 'proof-general-internals) (defcustom proof-info-directory @@ -24,7 +24,7 @@ diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site. "Where Proof General Info files are installed." :type 'directory :group 'proof-general-internals) ---- 76,82 ---- +--- 92,98 ---- :group 'proof-general-internals) (defcustom proof-info-directory |