coq/plugins/funind/.ocamlformat, branch master The formal proof system [ocamlformat] Enable for funind. 2020-04-10T05:17:07+00:00 Emilio Jesus Gallego Arias 2020-03-08T06:23:02+00:00 aedf2c0044b04cf141a52b1398306111b0bc4321 As part of the proof refactoring work I am doing some modifications to `funind` and indentation of that code is driving me a bit crazy; I'd much prefer to delegate it to an automatic tool. 
As part of the proof refactoring work I am doing some modifications to
`funind` and indentation of that code is driving me a bit crazy; I'd
much prefer to delegate it to an automatic tool.