Gergely Buday (Jul 19 2023 at 08:19): Gergely Buday (Jul 19 2023 at 08:19):I am to give a talk that would contain theory file snippets.
So-called LaTeX is not a neat tool for this: it does not have proper Unicode support, I get error messages on various symbols used in theory files. Not special ones, but basic ones. The "document preparation system" I do not like as it does not emit monospace fonts for theory files.
What tool do you recommend to create my slides that support Unicode out of the box, is open source and available on Ubuntu?
Mathias Fleury (Jul 19 2023 at 10:37):https://isabelle.in.tum.de/community/Generate_TeX_Snippets
Last updated: Dec 21 2024 at 16:20 UTC