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