summaryrefslogtreecommitdiff
path: root/tools/caml_tex.ml
Commit message (Expand)AuthorAgeFilesLines
* Adapt caml-texNicolás Ojeda Bär2020-07-201-1/+1
* Highlighting in the manualFlorian Angeletti2019-11-281-35/+40
* Merge pull request #8827 from gasche/revert-numeric-operators-hintFlorian Angeletti2019-09-191-2/+13
* Delete the vmthreads library (#2289)Jérémie Dimino2019-03-111-1/+1
* Fix tools/caml-tex printing of sub message locationsJules Aguillon2019-03-111-2/+4
* caml-tex: test and tweak for ellipsesFlorian Angeletti2018-12-211-3/+4
* caml_tex: also provide error output on Lexing errorsGabriel Scherer2018-09-061-1/+3
* caml_etex: use the location of the attribute, now availableGabriel Scherer2018-08-271-8/+10
* Location: significantly rework the code printing errors and warningsArmaël Guéneau2018-08-081-10/+18
* Add locations to attributesHugo Heuzard2018-08-061-1/+1
* Add locations to toplevel directivesHugo Heuzard2018-08-061-1/+1
* manual, code example preprocessor : full conversion to compiler-libs (#1863)Florian Angeletti2018-07-251-0/+748