Skip to content
  • Alexandre Duret-Lutz's avatar
    tostring: add LaTeX output · 9cfe1a34
    Alexandre Duret-Lutz authored
    * src/ltlvisit/tostring.cc, src/ltlvisit/tostring.hh
    (to_latex_string): New function.
    * src/bin/common_output.cc, src/bin/common_output.hh:
    Add a --latex option.
    * doc/tl/spotltl.sty: New file.
    * doc/tl/Makefile.am: Distribute it.
    * src/ltltest/latex.test: New test.
    * src/ltltest/Makefile.am: Add it.
    * NEWS: Mention it.
    9cfe1a34