| Commit message (Collapse) | Author | Age |
|
|
|
|
|
| |
This fixes all of the private-names warnings emitted by
compiling fiat-crypto with https://github.com/coq/coq/pull/268 (minus
the ones in coqprime, which I didn't touch).
|
|
|
|
|
|
|
| |
With
```bash
bash ./etc/coq-scripts/formatting/strip-trailing-whitespace.sh
```
|
|
|
|
|
|
|
|
| |
This closes #146 and makes `make quick` faster.
The changes were generated by adding [Global Set Suggest Proof Using.]
to GlobalSettings.v, and then following [the instructions for a script I
wrote](https://github.com/JasonGross/coq-tools#proof-using-helper).
|
| |
|
|
|