Denis Merigoux da06bedaca Fix HTML line numbers		2022-08-11 16:15:52 +02:00
..
dune	feat(backends/html): improve the code generation with ToC and details tags	2022-08-05 10:55:45 +02:00
html.ml	Fix HTML line numbers	2022-08-11 16:15:52 +02:00
html.mli	Add "print_only_law" option	2022-05-26 19:05:06 +02:00
latex.ml	Fix line numbers in LaTeX and HTML with leading comments in code	2022-08-10 10:45:49 +02:00
latex.mli	Add "print_only_law" option	2022-05-26 19:05:06 +02:00
literate_common.ml	Correctly generate HTML output	2022-07-20 15:35:26 +02:00
literate_common.mli	Remove authors feature whose behavior is not satisfactory	2022-07-08 14:41:19 +02:00
literate.mld	Documentation pass	2022-01-19 10:54:16 +01:00