| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge PR #7898: Remove camlp4 remains |  Emilio Jesus Gallego Arias | 2018-07-11 |
| |\ | |||
| | * | Introduce a Pcoq.Entry module for functions that ought to be exported. |  Pierre-Marie Pédrot | 2018-07-07 |
| * | | fix syntax of .mlg |  Vincent Laporte | 2018-07-03 |
| * | | [vernac] use plain strings as attribute names | Vincent Laporte | 2018-07-03 |
| * | | [vernac] indentation | Vincent Laporte | 2018-07-03 |
| * | | [vernac] Generic syntax for flags/attributes | Vincent Laporte | 2018-07-03 |
| * | | [vernac] Generic parsing rules for attributes | Vincent Laporte | 2018-07-03 |
| * | | [vernac] Concrete syntax for attributes | Vincent Laporte | 2018-07-03 |
| |/ | |||
| * | Port g_vernac to the homebrew GEXTEND parser. | Pierre-Marie Pédrot | 2018-06-29 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |