| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-13 | Fix dune rules for @check-gram following recent changes. | Théo Zimmermann |
| 2020-10-02 | {new,setoid_}ring -> ring | Maxime Dénès |
| 2020-09-08 | Fix docgram's dune file following #12085. | Théo Zimmermann |
| 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 |