diff options
| author | David Aspinall | 1998-10-01 16:46:39 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 16:46:39 +0000 |
| commit | 3b005439c323529a3146dc29c1f09137ef760d48 (patch) | |
| tree | 5465f7ddc67e323e745ec8f50a6c70c1fa428284 /etc/ProofGeneral.patch | |
| parent | 90b42bf1a93a6b32a371d8d1ac18e27c7046ade4 (diff) | |
Updated for new path in coqtags
Diffstat (limited to 'etc/ProofGeneral.patch')
| -rw-r--r-- | etc/ProofGeneral.patch | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch index 1a976fc2..c7095845 100644 --- a/etc/ProofGeneral.patch +++ b/etc/ProofGeneral.patch @@ -3,14 +3,14 @@ diff -cr ProofGeneral-2.0/coq/coqtags ProofGeneral-2.0.new/coq/coqtags --- ProofGeneral-2.0.new/coq/coqtags Thu Sep 24 17:04:00 1998 *************** *** 1,4 **** -! #!/usr/local/bin/perl4 +! #!/usr/local/bin/perl # - # $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $ + # $Id: ProofGeneral.patch,v 1.2 1998/09/24 17:34:13 da Exp $ # --- 1,4 ---- ! #!/usr/bin/perl # - # $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $ + # $Id: ProofGeneral.patch,v 1.2 1998/09/24 17:34:13 da Exp $ # diff -cr ProofGeneral-2.0/lego/legotags ProofGeneral-2.0.new/lego/legotags *** ProofGeneral-2.0/lego/legotags Thu Sep 24 16:36:30 1998 @@ -19,12 +19,12 @@ diff -cr ProofGeneral-2.0/lego/legotags ProofGeneral-2.0.new/lego/legotags *** 1,4 **** ! #!/usr/local/bin/perl # - # $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $ + # $Id: ProofGeneral.patch,v 1.2 1998/09/24 17:34:13 da Exp $ # --- 1,4 ---- ! #!/usr/bin/perl # - # $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $ + # $Id: ProofGeneral.patch,v 1.2 1998/09/24 17:34:13 da Exp $ # *** ProofGeneral-2.0/generic/proof-site.el Thu Sep 24 18:17:33 1998 --- ProofGeneral-2.0.new/generic/proof-site.el Thu Sep 24 18:17:43 1998 |