diff options
| author | David Aspinall | 2000-05-25 20:00:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 20:00:07 +0000 |
| commit | c4d5effc3539c774636989872b91020f7710c6f4 (patch) | |
| tree | c28d708644c70c9eaf5a7a4bb33fc729da84a362 /etc/ProofGeneral.patch | |
| parent | 95ec6c1060f8bf9bbe24d94cbe88330ba5145c09 (diff) | |
Fix patch.
Diffstat (limited to 'etc/ProofGeneral.patch')
| -rw-r--r-- | etc/ProofGeneral.patch | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch index 5d3b5ed7..f7e406e6 100644 --- a/etc/ProofGeneral.patch +++ b/etc/ProofGeneral.patch @@ -23,60 +23,6 @@ diff -c -r4.2 coqtags undef $/; if($#ARGV<$[) {die "No Files\n";} -Index: etc/ProofGeneral.patch -=================================================================== -RCS file: /home/proofgen/src/ProofGeneral/etc/ProofGeneral.patch,v -retrieving revision 4.0 -diff -c -r4.0 ProofGeneral.patch -*** etc/ProofGeneral.patch 2000/03/13 07:36:19 4.0 ---- etc/ProofGeneral.patch 2000/05/25 19:56:11 -*************** -*** 1,44 **** -- diff -cr ProofGeneral.old/coq/coqtags ProofGeneral/coq/coqtags -- *** ProofGeneral.old/coq/coqtags Wed Oct 7 18:36:57 1998 -- --- ProofGeneral/coq/coqtags Wed Oct 7 19:04:35 1998 -- *************** -- *** 1,4 **** -- ! #!/usr/local/bin/perl -- -- undef $/; -- -- --- 1,4 ---- -- ! #!/usr/bin/perl -- -- undef $/; -- -- diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site.el -- *** 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 -- *************** -- *** 92,98 **** -- :group 'proof-general-internals) -- -- (defcustom proof-info-directory -- ! (concat proof-home-directory "doc/") -- "Where Proof General Info files are installed. Ends with slash." -- :type 'directory -- :group 'proof-general-internals) -- --- 92,98 ---- -- :group 'proof-general-internals) -- -- (defcustom proof-info-directory -- ! "/usr/info/" -- "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 -- *** ProofGeneral.old/lego/legotags Wed Oct 7 18:37:18 1998 -- --- ProofGeneral/lego/legotags Wed Oct 7 19:04:35 1998 -- *************** -- *** 1,2 **** -- ! #!/usr/local/bin/perl -- # -- --- 1,2 ---- -- ! #!/usr/bin/perl -- # ---- 0 ---- Index: generic/proof-site.el =================================================================== RCS file: /home/proofgen/src/ProofGeneral/generic/proof-site.el,v |