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. Thanks Markus [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
