diff options
| author | David Aspinall | 2000-09-29 19:17:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-29 19:17:57 +0000 |
| commit | f0e80b29482346f39679b6a98e0b831fed5e2da2 (patch) | |
| tree | 87b33a3eee738c71752054c09cc977783f9fcd29 /etc/ProofGeneral.patch | |
| parent | c4f083e2d44ec2c124dccceb119355d52b661d8e (diff) | |
Remove patch on perl filename now, after Pierres accidental checkin.
Diffstat (limited to 'etc/ProofGeneral.patch')
| -rw-r--r-- | etc/ProofGeneral.patch | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch index 17840640..7ba5d3a1 100644 --- a/etc/ProofGeneral.patch +++ b/etc/ProofGeneral.patch @@ -1,21 +1,3 @@ -Index: coq/coqtags -=================================================================== -RCS file: /home/proofgen/src/ProofGeneral/coq/coqtags,v -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,4 **** -! #!/usr/local/bin/perl - # - # $Id: coqtags,v 4.3 2000/05/25 20:13:43 da Exp $ - # ---- 1,4 ---- -! #!/usr/bin/perl - # - # $Id: coqtags,v 4.3 2000/05/25 20:13:43 da Exp $ - # Index: generic/proof-site.el =================================================================== RCS file: /home/proofgen/src/ProofGeneral/generic/proof-site.el,v @@ -40,21 +22,3 @@ diff -c -r4.26 proof-site.el "Where Proof General Info files are installed. Ends with slash." :type 'directory :group 'proof-general-internals) -Index: lego/legotags -=================================================================== -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 20:14:27 -*************** -*** 1,4 **** -! #!/usr/local/bin/perl - # - # $Id: legotags,v 4.2 2000/05/25 19:42:55 da Exp $ - # ---- 1,4 ---- -! #!/usr/bin/perl - # - # $Id: legotags,v 4.2 2000/05/25 19:42:55 da Exp $ - # |