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 /html/userman | |
parent | 631014bdaac8efaf7471f5be3c1a8204b1d47bcc (diff) |
Modifications for support of Coq-7.3.1+ and above (new module system).
Diffstat (limited to 'html/userman')
0 files changed, 0 insertions, 0 deletions