aboutsummaryrefslogtreecommitdiff
path: root/coqprime
Commit message (Expand)AuthorAge
* Bump coqprimeGravatar Jason Gross2018-07-10
* update coqprimeGravatar Jade Philipoom2018-04-09
* reorganization: move more things into BaseConversionGravatar Jade Philipoom2018-04-09
* Update coqprimeGravatar Jason Gross2018-04-03
* pass-through after Andres's review in #334Gravatar Jade Philipoom2018-04-03
* Bump coqprime for .gitignoreGravatar Jason Gross2018-03-10
* git submodule update --remote --recursiveGravatar Andres Erbsen2018-02-24
* coqprime in COQPATH (closes #269)Gravatar Andres Erbsen2018-02-24
* Change Implicit Arguments to Arguments in coqprimeGravatar Jasper Hugunin2018-02-23
* Remove obsolete syntax for locality. (#270)Gravatar Maxime Dénès2017-11-20
* Strip trailing whitespaceGravatar Jason Gross2017-06-02
* Make Coq 8.5 the default target for Fiat-CryptoGravatar Jason Gross2016-06-22
* Absolutize Coqprime importsGravatar Jason Gross2016-03-10
* Automate a UList proof a bit so it builds with 8.5Gravatar Jason Gross2016-02-25
* Update Coqprime/UListGravatar Jason Gross2016-02-24
* Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-02-05
* recursive-build coqprimeGravatar Rob Sloan2016-01-28
* Import coqprime; use it to prove Euler's criterion.Gravatar Jade Philipoom2016-01-20