-
Alexandre Duret-Lutz authored
* src/ltlvisit/print.cc: Property output the double quotes in latex mode, not only sclatex. * src/misc/escape.cc: Fix LaTeX escape to work in math mode. * src/tests/latex.test: Add a test. * wrap/python/tests/formulas.ipynb: Adjust expected output * NEWS: Mention the fix.
2eab0344
To find the state of this project's repository at the time of any of these versions, check out the tags.