aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Expand)AuthorAge
* Update .gitignore for Coq 8.6Gravatar Jason Gross2016-09-16
* Update .gitignore for Coq 8.6Gravatar Jason Gross2016-09-16
* Don't depend on the submodule; copy-paste insteadGravatar Jason Gross2016-07-20
* Add a separate non-specific targetGravatar Jason Gross2016-07-20
* Add target for .dir-locals.elGravatar Jason Gross2016-07-20
* Update .gitignoreGravatar Jason Gross2016-07-10
* Add more caches to .gitignore (nra, csdp)Gravatar Jason Gross2016-07-01
* Update .gitignore with lia, nia cachesGravatar Jason Gross2016-07-01
* Update .gitignoreGravatar Jason Gross2016-06-27
* Merge with plv/masterGravatar Robert Sloan2016-06-22
|\
* | nicer verify() derivation starterGravatar Andres Erbsen2016-06-22
* | Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-06-22
| * Add coqprime that works with 8.5, bundle bedrockGravatar Jason Gross2016-06-10
| * Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-02-05
|/
* simple refactor of makefile; commentsGravatar varomodt2016-01-09
* Tiny module-system tweaks in PointFormatsGravatar Adam Chlipala2015-10-28
* Got most of the way through new GaloisField codeGravatar Adam Chlipala2015-09-17