Early LaTeX support#432

Open

zazedd wants to merge 16 commits intorealworldocaml:mainfrom

Commits on Jun 14, 2023

legacy_labels with square brackets
ProgramingIsTheFuture
committed

Commits on Jul 19, 2023

removed legacy labels, introduced latex arguments, needs a bug fix
zazedd
committed
compilation error fix
Francisco Santos
committed
added latex arguments to result
zazedd
committed

Commits on Jul 23, 2023

improving lexer_tex
Francisco Santos
committed
some tests
zazedd
committed
end block
Francisco Santos
committed
better end block, another test case
zazedd
committed
unit tests
zazedd
committed