Re: New Theorems Module

2022-10-12 Thread Udicoudco
On Fri, Sep 23, 2022 at 12:25 AM Paul A. Rubin wrote: > On 9/19/22 22:26, Udicoudco wrote: > > I've noticed that the definition environment is not numbered in the > output files. After checking the module again, I hope there are no > issues any more. The fixed module is attached. > > Regards, > U

Re: Propose pdflatex as default for preview

2022-10-12 Thread Dr Eberhard Lisse
Why not LuaLaTeX? Which seems to be where the world is going now? PDFLaTeX is of course faster. el On 11/10/2022 22:35, Kornel Benko wrote: > Am Tue, 11 Oct 2022 21:17:28 +0200 schrieb Enrico Forestieri : >> On Tue, Oct 11, 2022 at 03:08:20PM +0200, Kornel Benko wrote: >>> >>> >>> As it is now,