• Alexandre Duret-Lutz's avatar
    fix latex escaping · 2eab0344
    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.