diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2003-01-24 12:28:37 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2003-01-24 12:28:37 +0000 |
| commit | 6a0742a3aafd136a73d5014627d8c5751a788f9d (patch) | |
| tree | aa68d6d3100cb024c1592d1e54ab908d66856dab /Makefile | |
| parent | 631014bdaac8efaf7471f5be3c1a8204b1d47bcc (diff) | |
Modifications for support of Coq-7.3.1+ and above (new module system).
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions