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

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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 1.6.0.201907102009
> 
> 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.

Best
Markus


-- 
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.