[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Pretty printing fails after recent upgrade to Toolbox (MacOS)

On 03.12.19 01:26, Neil O'Connor wrote:
> Hi folks,
> I recently updated my TLA+ Toolbox version, and since then pretty
> printing to PDF has stopped working. It just crashes out (stack trace
> below).
> I'm using MacOS Catalina, and my TLA+ Toolbox version is
> I've checked the path in preferences is still set to a valid location,
> and it is (/usr/local/texlive/2018/bin/x86_64-darwin/pdflatex)
> Anyone else had this problem? Any suggestions greatly appreciated!
> Thanks,
> Neil

Hi Neil,

this appears to be related to
https://github.com/tlaplus/tlaplus/issues/357 to which I've already
added your stack trace.


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/03dae814-3ff5-80f3-be69-6ced0b1ef580%40lemmster.de.