| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-02-24 | Generate prodnCommands file that compares commands in the grammar to | Jim Fehrle | |
| those in the rsts. | |||
| 2019-12-28 | Convert productionlists to prodns | Jim Fehrle | |
| 2019-11-20 | Update grammar in the Terms section of Gallina chapter | Jim Fehrle | |
| Update doc_grammar tool The grammar in the doc is generated semi-automatically with doc_grammar: - the grammar is automatically extracted from the mlg files - developer-prepared editing scripts *.mlg_edit modify the extracted grammar for clarity, simplicity and ordering of productions - chunks of the resulting grammar are automatically inserted into the rsts using instructions embedded in the rsts Running doc_grammar is currently a manual step. The grammar updates in the rst files have been manually reviewed. | |||
| 2019-07-28 | Update documentation on tokens, use "int" and "num" | Jim Fehrle | |
| for integers and natural nums | |||
| 2019-07-19 | Introduce doc_gram, a utilty for extracting Coq's grammar from .mlg files | Jim Fehrle | |
| and inserting it into the .rst files | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |