Commit Graph

3 Commits

Author SHA1 Message Date
Denis Merigoux
cf233ac7de
Change settings 2022-03-09 10:43:00 +01:00
Denis Merigoux
b56299f3d3
Switch ocamlformat to 0.19.0 2021-08-19 11:35:56 +02:00
Denis Merigoux
c6a9b0b8f9 Weaving to LaTeX 2020-03-07 18:20:04 -08:00