Louis Gesbert 647ab22c04 Literate output: adjust catala-metadata margins ... to make sure that 80 characters fit in the line		2024-06-26 12:09:15 +02:00
..
dune	Embed the Pygments Catala lexer	2023-03-13 14:41:24 +01:00
html.ml	Rewriting message calls to use the new intf	2024-04-10 19:26:23 +02:00
html.mli	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
latex.ml	Literate output: adjust catala-metadata margins	2024-06-26 12:09:15 +02:00
latex.mli	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
literate_common.ml	Rewriting message calls to use the new intf	2024-04-10 19:26:23 +02:00
literate_common.mli	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
literate.mld	Documentation pass	2022-01-19 10:54:16 +01:00
pygmentize.ml	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
pygmentize.mli	Compile LaTeX code using minted without the Python venv	2023-03-14 17:35:22 +01:00