| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-09-14 | [ocamlformat] Update to ocamlformat 0.15.0 | Emilio Jesus Gallego Arias |
| 2020-05-19 | [ci] [docker] Bump ocamlformat and dune | Emilio Jesus Gallego Arias |
| 2020-04-13 | [ocamlformat] Update to 0.14.0 | Emilio Jesus Gallego Arias |
| 2020-03-30 | ocamlformat: use whitelist instead of blacklist | Gaëtan Gilbert |
| 2020-03-25 | [ocamlformat] Use doc-comments=before style. | Emilio Jesus Gallego Arias |
| 2020-03-19 | [ocamformat] Update to 0.13.0 | Emilio Jesus Gallego Arias |
| 2019-12-13 | [micromega] Enable ocamlformat. | Emilio Jesus Gallego Arias |
| 2019-12-13 | [fmt] [dune] Add ocamlformat configuration. | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/.ocamlformat