diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-17 16:50:18 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-17 16:50:18 -0500 |
| commit | 4bc5982cc04e19c034cbd8063783538157873b32 (patch) | |
| tree | e60d86490beb5d2c6ea87d15dd9e9ea21c235985 /optimizations.md | |
| parent | 02479d3444fa05891bf459eba72be97760edb9c9 (diff) | |
Add a regenerate-curves target
It's currently a bit ad-hoc, and relies on the presence of git to add
things to _CoqProject, but it's a bit better than manually invoking the
commands. More refinements to come, hopefully.
Diffstat (limited to 'optimizations.md')
0 files changed, 0 insertions, 0 deletions