| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | [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 |