25 Commits

Author	SHA1	Message	Date
Louis Gesbert	af0ac95682	Propagate renaming of Pos.mark* into module Marked ... this patch is just a bunch of `sed` commands ```shell cd compiler sed -i 's/Pos.marked/Marked.pos/g' *.ml* **/*.ml* sed -i 's/Pos.unmark/Marked.unmark/g' *.ml* **/*.ml* sed -i 's/Pos\.get_position/Marked.get_mark/g' *.ml* **/*.ml* sed -i 's/Pos\.same_pos_as/Marked.same_mark_as/g' *.ml* **/*.ml* sed -i 's/Pos\.map_under_mark/Marked.map_under_mark/g' *.ml* **/*.ml* sed -i 's/Pos\.mark/Marked.mark/g' *.ml* **/*.ml* sed -i 's/Pos\.compare_marked/Marked.compare/g' *.ml* **/*.ml* ```	2022-07-11 16:51:54 +02:00
Denis Merigoux	fa0d94a2b6	Remove authors feature whose behavior is not satisfactory	2022-07-08 14:41:19 +02:00
Denis Merigoux	a34a330dc4	Fix breaklines in LaTeX	2022-07-06 17:37:42 +02:00
Denis Merigoux	ec225994af	Add "print_only_law" option	2022-05-26 19:05:06 +02:00
Louis Gesbert	9a95a3554c	Add support for backend plugins using dynlink	2022-05-19 10:40:02 +02:00
Denis Merigoux	b2ca8e36aa	Corrections suggested by @Altgr	2022-05-18 15:32:13 +02:00
Louis Gesbert	f9fc1a8e8b	Formatting: sync with master	2022-05-12 15:10:55 +02:00
Denis Merigoux	8a0d5d7916	Factoring, nitpicks and updates	2022-05-05 14:01:30 +02:00
Denis Merigoux	d9da198740	Prettify family benefits	2022-05-05 14:00:44 +02:00
Denis Merigoux	e3e2e6c4e2	Better PDF	2022-05-04 14:01:24 +02:00
Denis Merigoux	1b439a09bd	Better LaTeX beginning [skip ci]	2022-05-02 16:20:39 +02:00
Denis Merigoux	5670546cc8	Fix lines too long	2022-05-02 16:20:39 +02:00
Emile Rolley	ce2c7081b0	refactor(latex): print warning for too long lines + add instruction to compilation	2022-05-01 21:02:36 +02:00
Denis Merigoux	ad7fe6a21a	Use pandoc to prettify a lot the LaTeX document with tables	2022-04-29 23:47:02 +02:00
Denis Merigoux	1bf4404bb3	Big refactoring of the APL code	2022-04-29 20:18:01 +02:00
Denis Merigoux	91cfcd9b56	Better PDFs	2022-04-29 12:55:09 +02:00
Denis Merigoux	741d151128	Correct indentation and sectionning + BMAF 2022-2023 [skip ci]	2022-04-29 10:50:46 +02:00
Denis Merigoux	6ec2938581	Subsubsubsections in LaTeX output	2022-04-29 10:25:46 +02:00
Denis Merigoux	3f3563cfeb	Print TOC in PDF	2022-04-28 13:32:35 +02:00
Denis Merigoux	2dfb15d888	reformat (sync with master)	2022-03-09 10:43:17 +01:00
Denis Merigoux	757c3eddb6	Remove mathematical symbols replacement	2022-01-19 14:43:42 +01:00
Emile Rolley	7a62147283	fix(latex): render properly the '^' and fix the french babel usage	2021-12-31 20:50:03 +01:00
Emile Rolley	5a06d33d2d	fix(latex): escape '#' inside latex outputs + refactor pre_latexify	2021-12-31 19:47:55 +01:00
Denis Merigoux	a06cbe8614	Fix literate programming problems	2021-11-26 18:07:46 +01:00
Denis Merigoux	bbd50747d9	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00