Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #7898: Remove camlp4 remains | 2018-07-11 | |
|\ | |||
| * | Introduce a Pcoq.Entry module for functions that ought to be exported. | 2018-07-07 | |
* | | fix syntax of .mlg | 2018-07-03 | |
* | | [vernac] use plain strings as attribute names | 2018-07-03 | |
* | | [vernac] indentation | 2018-07-03 | |
* | | [vernac] Generic syntax for flags/attributes | 2018-07-03 | |
* | | [vernac] Generic parsing rules for attributes | 2018-07-03 | |
* | | [vernac] Concrete syntax for attributes | 2018-07-03 | |
|/ | |||
* | Port g_vernac to the homebrew GEXTEND parser. | 2018-06-29 |