Florian Angeletti b768c0be59 Highlighting in the manual ... * Replace caml-sl with the standard listings package and ulem package * update caml_tex to output nicer latex code * simplify escaping in caml_tex		2019-11-28 11:45:08 +01:00
..
.gitignore	manual, code example preprocessor : full conversion to compiler-libs (#1863)	2018-07-25 10:38:08 +02:00
Makefile	manual, code example preprocessor : full conversion to compiler-libs (#1863)	2018-07-25 10:38:08 +02:00
fix_index.sh	fix_index.sh: fix a bug, and convert from using "ed" to "sed"	2018-09-05 16:33:00 -04:00
htmltransf.mll	Permettre les chiffres dans les non-terminaux (p.ex 'int32')	2004-07-05 09:25:12 +00:00
texquote2.ml	Highlighting in the manual	2019-11-28 11:45:08 +01:00
transf.mll	Highlighting in the manual	2019-11-28 11:45:08 +01:00
transfmain.ml	Passage de Caml Light a O'Caml: le bootstrap est enfin complet !	1999-11-09 15:44:37 +00:00