coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-09-14	[ocamlformat] Update to ocamlformat 0.15.0	Emilio Jesus Gallego Arias
	This is necessary to support OCaml 4.11 in development.
2020-05-19	[ci] [docker] Bump ocamlformat and dune	Emilio Jesus Gallego Arias
	cc: #12350
2020-04-13	[ocamlformat] Update to 0.14.0	Emilio Jesus Gallego Arias
	No diff to sources (luckily), see release notes at https://discuss.ocaml.org/t/ann-ocamlformat-0-14-0/5435 for more information.
2020-03-30	ocamlformat: use whitelist instead of blacklist	Gaëtan Gilbert
	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
2020-03-25	[ocamlformat] Use doc-comments=before style.	Emilio Jesus Gallego Arias
	IMHO it is a bit more logical, WDYT?
2020-03-19	[ocamformat] Update to 0.13.0	Emilio Jesus Gallego Arias
	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.
2019-12-13	[micromega] Enable ocamlformat.	Emilio Jesus Gallego Arias

2019-12-13	[fmt] [dune] Add ocamlformat configuration.	Emilio Jesus Gallego Arias
	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.