Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | parenthesize Ltac [constr:] arguments | 2016-06-20 | |
| | |||
* | Set Asymmetric Patterns | 2016-06-10 | |
| | |||
* | Add coqprime that works with 8.5, bundle bedrock | 2016-06-10 | |
This simplifes the build process, and also allows us to try to build with 8.5. We autodetect the version of Coq in the Makefile to decide which version of coqprime to build. |