diff options
| author | David Aspinall | 1998-09-24 16:47:52 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 16:47:52 +0000 |
| commit | ea73d49b93877edef9512c98380de50215c73d74 (patch) | |
| tree | 0dac0e861e2e18f0b6b38ffa0aaecbbb8f65c9de /etc/ProofGeneral.patch | |
| parent | b8a3a35413c67ddbf5851315629cc28e54a7daf1 (diff) | |
For building nice package on Linux.
Diffstat (limited to 'etc/ProofGeneral.patch')
| -rw-r--r-- | etc/ProofGeneral.patch | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch new file mode 100644 index 00000000..0f7bf186 --- /dev/null +++ b/etc/ProofGeneral.patch @@ -0,0 +1,29 @@ +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,4 **** +! #!/usr/local/bin/perl4 + # + # $Id: coqtags,v 2.1 1998/09/09 14:02:29 da Exp $ + # +--- 1,4 ---- +! #!/usr/bin/perl + # + # $Id: coqtags,v 2.1 1998/09/09 14:02:29 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 +--- ProofGeneral-2.0.new/lego/legotags Thu Sep 24 17:04:10 1998 +*************** +*** 1,4 **** +! #!/usr/local/bin/perl + # + # $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $ + # +--- 1,4 ---- +! #!/usr/bin/perl + # + # $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $ + # + |