coq/vernac/.ocamlformat-enable, branch master

coq/vernac/.ocamlformat-enable, branch master The formal proof system Remove automatic formatting of ComHints. 2020-07-17T13:16:12+00:00 Pierre-Marie Pédrot 2020-07-10T21:29:05+00:00 f41fccaaf30ea4f76edb8204fa5f4022467b6e0c This is about the third time I try to kill this file but for some reason it is still here.

This is about the third time I try to kill this file but for some reason
it is still here.

[hints] Move and split Hint Declaration AST to vernac 2020-04-21T06:39:12+00:00 Emilio Jesus Gallego Arias 2020-04-19T00:22:13+00:00 688a0869f6b8ab3048a545f821f45bc5599ba63b This moves the vernacular part of hints to `vernac`; in particular, it helps removing the declaration of constants as parts of the `tactic` folder.

This moves the vernacular part of hints to `vernac`; in particular, it
helps removing the declaration of constants as parts of the `tactic`
folder.