Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove coqprime-8.4 | Jason Gross | 2017-04-02 |
| | | | | | | | We're using tactics in terms in some places, and so have no hope of compiling with Coq 8.4. We no longer pretend to support it. We can probably also remove some other compatibility things, if we want. | ||
* | Remove autogenerated file | Jason Gross | 2016-08-11 |
| | |||
* | Make Coq 8.5 the default target for Fiat-Crypto | Jason Gross | 2016-06-22 |
Instructions for 8.4 build in the README |