| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-03-30 | [dune] [docgram] Remove bash hack thanks to new option -no-update. | Théo Zimmermann |
| 2020-03-28 | New target check-gram to check if fullGrammar and orderedGrammar are up-to-date. | Théo Zimmermann |
| 2020-03-12 | Dune build rules for doc_grammar and fullGrammar. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |