5 Commits

Author	SHA1	Message	Date
Louis Gesbert	508992de33	Embed the Pygments Catala lexer ... This enables the HTML output to work without a custom Pygments installation (or the proper venv activated)	2023-03-13 14:41:24 +01:00
Louis Gesbert	e3b98b4f50	Literate: more explicit dune dependency	2023-01-04 12:18:46 +01:00
Louis Gesbert	660e5775de	Rename utils to catala_utils	2022-11-28 16:38:09 +01:00
Emile Rolley	03aebf7f1c	feat(backends/html): improve the code generation with ToC and details tags	2022-08-05 10:55:45 +02:00
Denis Merigoux	bbd50747d9	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00