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

Re: [tlaplus] How can I turn off automatic display on a Mac?

On 09.03.20 18:42, david streader wrote:
> On the web
> page https://tla.msr-inria.inria.fr/tlatoolbox/doc/spec/pretty-printing.html it
> states that The built-in viewer option is not offered on Mac OS X.  but
> currently with Mac OS the toolkit is crashing after running "produce PDF
> version" and after generating the State Graph.  (It  has been explained
> how to stop the state graph being produced and dump the result in a
> foo.dot file but the resulting image lacks some important information to
> understand fairness) 
>       The foo.tex foo.pdf and foo.dot files are are being produced
> correctly prior to the tool crashing. If any one knows how to stop the
> toolkit trying to display the results (as hopefully that would stop the
> tool from crashing) it would make my life a lot easier.

Hi David,

please download the recent nightly for macOS [1] and set the Toolbox to
open PDFs with Preview.  Opening PDFs this way should keep the Toolbox
from crashing.


[1] https://nightly.tlapl.us/products/

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/338c8f31-7d99-91bb-e3ba-d0505c5af4f3%40lemmster.de.

Attachment: Screen Shot 2020-03-10 at 1.41.52 PM.png
Description: PNG image