summaryrefslogtreecommitdiff
path: root/tools/ocamltex.ml
Commit message (Expand)AuthorAgeFilesLines
* ocamltex: update regexp and reset locationsFlorian Angeletti2023-02-231-1/+3
* Dissociate compilation and linking of ocamltexSébastien Hinderer2022-12-121-6/+5
* Add colors to error message hints (#11685)Christiana Anthony2022-11-081-2/+3
* Rename caml-tex into ocamltex, + related changesSébastien Hinderer2022-09-271-0/+787