coq/.ocamlformat, branch master

[ocamlformat] Update to ocamlformat 0.15.0

2020-09-14T16:32:33+00:00

This is necessary to support OCaml 4.11 in development.

[ci] [docker] Bump ocamlformat and dune

2020-05-19T16:57:05+00:00

cc: #12350

[ocamlformat] Update to 0.14.0

2020-04-13T21:17:14+00:00

No diff to sources (luckily), see release notes at
https://discuss.ocaml.org/t/ann-ocamlformat-0-14-0/5435 for more
information.

ocamlformat: use whitelist instead of blacklist

2020-03-30T17:02:55+00:00

Using disable=true in .ocamlformat and disable=false in sub
.ocamlformat works fine.

Note that disable=true must be after the `profile` setting otherwise
it gets reset

[ocamlformat] Use doc-comments=before style.

2020-03-26T01:35:43+00:00

IMHO it is a bit more logical, WDYT?

[ocamformat] Update to 0.13.0

2020-03-19T21:22:01+00:00

We include the `version=0.13.0` field that should help users not to
use the wrong version. `disable=true` still seems a noop with `dune`.

There are some minor changes in the way comments are formatted; I'm
unsure if this is due to the `wrap-comments` option; as always; tweaks
to the config are most welcome.

[micromega] Enable ocamlformat.

2019-12-13T20:27:08+00:00

[fmt] [dune] Add ocamlformat configuration.

2019-12-13T13:15:36+00:00

For now we don't enable it in any source file, neither on dune files.

`lint-repository` has been updated so it will check `dune build @fmt`
returns 0.