From 7764b04903acfd9b2c24c3df643757a7d219df64 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 25 May 2000 20:15:09 +0000
Subject: Patched patch again. Phew, what an effort.

---
 etc/ProofGeneral.patch | 27 ++++++++++-----------------
 1 file changed, 10 insertions(+), 17 deletions(-)

diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch
index f7e406e6..17840640 100644
--- a/etc/ProofGeneral.patch
+++ b/etc/ProofGeneral.patch
@@ -1,35 +1,28 @@
 Index: coq/coqtags
 ===================================================================
 RCS file: /home/proofgen/src/ProofGeneral/coq/coqtags,v
-retrieving revision 4.2
-diff -c -r4.2 coqtags
-*** coq/coqtags	2000/05/25 19:42:55	4.2
---- coq/coqtags	2000/05/25 19:56:11
+retrieving revision 4.3
+diff -c -r4.3 coqtags
+*** coq/coqtags	2000/05/25 20:13:43	4.3
+--- coq/coqtags	2000/05/25 20:14:27
 ***************
-*** 1,8 ****
+*** 1,4 ****
 ! #!/usr/local/bin/perl
   #
-  # $Id: coqtags,v 4.2 2000/05/25 19:42:55 da Exp $
+  # $Id: coqtags,v 4.3 2000/05/25 20:13:43 da Exp $
   #
-- 
-  undef $/;
-  
-  if($#ARGV<$[) {die "No Files\n";}
---- 1,7 ----
+--- 1,4 ----
 ! #!/usr/bin/perl
   #
-  # $Id: coqtags,v 4.2 2000/05/25 19:42:55 da Exp $
+  # $Id: coqtags,v 4.3 2000/05/25 20:13:43 da Exp $
   #
-  undef $/;
-  
-  if($#ARGV<$[) {die "No Files\n";}
 Index: generic/proof-site.el
 ===================================================================
 RCS file: /home/proofgen/src/ProofGeneral/generic/proof-site.el,v
 retrieving revision 4.26
 diff -c -r4.26 proof-site.el
 *** generic/proof-site.el	2000/05/25 14:52:30	4.26
---- generic/proof-site.el	2000/05/25 19:56:12
+--- generic/proof-site.el	2000/05/25 20:14:27
 ***************
 *** 99,105 ****
     :group 'proof-general-internals)
@@ -53,7 +46,7 @@ RCS file: /home/proofgen/src/ProofGeneral/lego/legotags,v
 retrieving revision 4.2
 diff -c -r4.2 legotags
 *** lego/legotags	2000/05/25 19:42:55	4.2
---- lego/legotags	2000/05/25 19:56:12
+--- lego/legotags	2000/05/25 20:14:27
 ***************
 *** 1,4 ****
 ! #!/usr/local/bin/perl
-- 
cgit v1.2.3