Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add a regenerate-curves target | Jason Gross | 2017-11-17 |
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. |