Am 10.04.25 um 07:59 Uhr schrieb Pedro Andres Aranda Gutierrez:
> Now the question seems to be whether latex-preview could "live an
> independent life" with pdflatex at the heart of it's tooling, whereas
> document production could "move on" to use lualatex as the default tool
> to generate the PDFs.

I think this idea should be considered. I would only like to add that I
have not used latex-preview so far.

Regards,
Jürgen.

Reply via email to