Denis Merigoux e41e0f9dcc Fix line length and display lines of code		2022-08-26 12:05:22 +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 again line numbers in HTML	2022-08-16 11:46:20 +02:00
html.mli	Add "print_only_law" option	2022-05-26 19:05:06 +02:00
latex.ml	Fix line length and display lines of code	2022-08-26 12:05:22 +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