aboutsummaryrefslogtreecommitdiff
path: root/coqprime/Coqprime/Euler.v
Commit message (Collapse)AuthorAge
* Strip trailing whitespaceGravatar Jason Gross2017-06-02
| | | | | | | With ```bash bash ./etc/coq-scripts/formatting/strip-trailing-whitespace.sh ```
* Make Coq 8.5 the default target for Fiat-CryptoGravatar Jason Gross2016-06-22
| | | | Instructions for 8.4 build in the README
* Absolutize Coqprime importsGravatar Jason Gross2016-03-10
| | | | | | | | | | Used ```bash cd coqprime make -kj10 cd Coqprime git ls-files "*.v" | xargs python ~/Documents/repos/coq-tools/absolutize-imports.py -i -R . Coqprime ```
* Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-02-05
Removed all of the files not built by default; they can be resurrected from git history. _CoqProject is the standard way to list the files in a project and to give information to coq_makefile. COQPATH is the standard way to make use of not-yet-installed libraries that are not part of your project (i.e., you don't want to remove them when you `make clean`, etc.).