diff options
| author | David Aspinall | 1998-10-01 17:27:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 17:27:06 +0000 |
| commit | 8db7c16234e104960a3d5f09bdf6e8f0572484ba (patch) | |
| tree | dfebfe958891e2fa422050d51cc548e8b757b080 /etc/ProofGeneral.patch | |
| parent | ce6a7a3b011b068f62ba652258aef6393344c65c (diff) | |
Fixed for new header in coqtags.
Diffstat (limited to 'etc/ProofGeneral.patch')
| -rw-r--r-- | etc/ProofGeneral.patch | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch index 4d29f28e..1b063845 100644 --- a/etc/ProofGeneral.patch +++ b/etc/ProofGeneral.patch @@ -2,12 +2,10 @@ diff -cr ProofGeneral-2.0/coq/coqtags ProofGeneral-2.0.new/coq/coqtags *** ProofGeneral-2.0/coq/coqtags Thu Sep 24 16:36:20 1998 --- ProofGeneral-2.0.new/coq/coqtags Thu Sep 24 17:04:00 1998 *************** -*** 1,2 **** +*** 1,1 **** ! #!/usr/local/bin/perl - # ---- 1,2 ---- +--- 1,1 ---- ! #!/usr/bin/perl - # 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 --- ProofGeneral-2.0.new/lego/legotags Thu Sep 24 17:04:10 1998 @@ -36,4 +34,4 @@ diff -cr ProofGeneral-2.0/lego/legotags ProofGeneral-2.0.new/lego/legotags ! "/usr/info/" "*Where Proof General Info files are installed." :type 'directory - :group 'proof-general)
\ No newline at end of file + :group 'proof-general) |