aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coq_tex.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Fix width of underscore in coq_tex output.Gravatar Guillaume Melquiond2015-07-30
* Fix broken regexp.Gravatar Guillaume Melquiond2015-07-30
* Remove unused variables.Gravatar Guillaume Melquiond2015-07-30
* Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.Gravatar Guillaume Melquiond2015-07-30
* Make coq-tex more robust with respect to the (non-)command on the last line.Gravatar Guillaume Melquiond2015-07-29
* Remove empty commands from the output of coq-tex.Gravatar Guillaume Melquiond2015-07-29
* Rewrite the main loop of coq-tex.Gravatar Guillaume Melquiond2015-07-29
* Make coq-tex aware of lines ending with "}", so as to fix the FAQ.Gravatar Guillaume Melquiond2015-07-28
* Fix command-line documentation of coq-tex.Gravatar Guillaume Melquiond2015-07-08
* Prevent Latex from messing with backticks. (Fix for bug #3871)Gravatar Guillaume Melquiond2015-02-10
* Update headers.Gravatar Maxime Dénès2015-01-12
* Reduce the amount of "Coq <" prompts generated by coq_tex. (Partial fix for b...Gravatar Guillaume Melquiond2014-04-28
* Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)Gravatar Guillaume Melquiond2014-04-28
* Getting rid of the use of deprecated elements (from the OCaml standard library).Gravatar xclerc2013-10-14
* Restrict (try...with...) to avoid catching critical exn (part 13)Gravatar letouzey2013-03-13
* Allow running coq-tex in win32 (fix #2921)Gravatar letouzey2012-10-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-07 04:14:09 +0000