Codebase list coq / control/main .ocamlformat
control/main

Tree @control/main (Download .tar.gz)

.ocamlformat @control/main — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
version=0.15.0
profile=ocamlformat

# to enable a whole directory, put "disable=false" in dir/.ocamlformat
# to enable specific files put them in .ocamlformat-enable
disable=true

module-item-spacing=compact
sequence-style=terminator
cases-exp-indent=2
field-space=loose
exp-grouping=preserve
break-cases=fit
doc-comments=before