diff options
author | 2017-03-15 13:36:43 -0400 | |
---|---|---|
committer | 2017-03-15 13:36:43 -0400 | |
commit | d826ef007efdab3e749a3c0d018a93a811993b6c (patch) | |
tree | 384fba2c77536ef2cff87698787688839b6998a9 /_CoqProject | |
parent | 2c2ac41de0bedabc3b8fd53d28f8b65859eb4287 (diff) |
Add a "lite" target
This builds everything in the default target except
WeierstrassCurveTheorems.vo, which, I believe, is the slowest file.
This closes #129.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions