| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-05-27 | [coqlib] Move `Coqlib` to `library/`. | Emilio Jesus Gallego Arias |
| 2017-05-25 | Merge PR#481: [option] Remove support for non-synchronous options. | Maxime Dénès |
| 2017-05-25 | Merge PR#406: coq makefile2 | Maxime Dénès |
| 2017-05-25 | [location] [travis] Add overlays for located_switch | Emilio Jesus Gallego Arias |
| 2017-05-24 | Merge branch 'trunk' into located_switch | Emilio Jesus Gallego Arias |
| 2017-05-24 | [option] Remove support for non-synchronous options. | Emilio Jesus Gallego Arias |
| 2017-05-23 | overlay for UniMath | Enrico Tassi |
| 2017-04-25 | [travis] mathcomp and fiat overlay for #402 | Emilio Jesus Gallego Arias |
| 2017-04-24 | Adding a dedicated travis overlay for fiat-parsers. | Pierre-Marie Pédrot |
| 2017-04-07 | [travis] Overlay for PR#461: Camlp4 removal. | Emilio Jesus Gallego Arias |
| 2017-03-13 | [travis] Basic support for overlays. | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |