aboutsummaryrefslogtreecommitdiff
path: root/etc/ProofGeneral.patch
AgeCommit message (Collapse)Author
2001-05-08Deleted files.David Aspinall
2000-09-29Remove patch on perl filename now, after Pierres accidental checkin.David Aspinall
2000-05-25Patched patch again.David Aspinall
Phew, what an effort.
2000-05-25Fix patch.David Aspinall
2000-05-25Updated patch.David Aspinall
1999-06-07Patched patch for updated proof-site.elDavid Aspinall
1999-06-07Patched patch for updated proof-site.elDavid Aspinall
1998-11-25Updated patchDavid Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-07Still bad ('cos release is -kv), removed $ from patch.David Aspinall
1998-10-07Updated for new proof-site.elDavid Aspinall
1998-10-01Fixed for new header in coqtags.David Aspinall
1998-10-01Removed troublesome $Id$ header from .patch file: was gettingDavid Aspinall
expanded by cvs! Really this file should be marked as "binary."
1998-10-01Updated for new path in coqtagsDavid Aspinall
1998-09-24Moved info file and binaries to proper places.David Aspinall
1998-09-24For building nice package on Linux.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 01:26:11 +0000