aboutsummaryrefslogtreecommitdiff
path: root/tools/coq_tex.ml
AgeCommit message (Expand)Author
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-02-22[library] Remove `-boot` option.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-07-30Fix width of underscore in coq_tex output.Guillaume Melquiond
2015-07-30Fix broken regexp.Guillaume Melquiond
2015-07-30Remove unused variables.Guillaume Melquiond
2015-07-30Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.Guillaume Melquiond
2015-07-29Make coq-tex more robust with respect to the (non-)command on the last line.Guillaume Melquiond
2015-07-29Remove empty commands from the output of coq-tex.Guillaume Melquiond
2015-07-29Rewrite the main loop of coq-tex.Guillaume Melquiond
2015-07-28Make coq-tex aware of lines ending with "}", so as to fix the FAQ.Guillaume Melquiond
2015-07-08Fix command-line documentation of coq-tex.Guillaume Melquiond
2015-02-10Prevent Latex from messing with backticks. (Fix for bug #3871)Guillaume Melquiond
2015-01-12Update headers.Maxime Dénès
2014-04-28Reduce the amount of "Coq <" prompts generated by coq_tex. (Partial fix for b...Guillaume Melquiond
2014-04-28Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)Guillaume Melquiond
2013-10-14Getting rid of the use of deprecated elements (from the OCaml standard library).xclerc
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 13)letouzey
2012-10-29Allow running coq-tex in win32 (fix #2921)letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:41:47 +0000