[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: [tlaplus] Toolbox is unresponsive when PrintT is used
From
: Y2i <
yur...@xxxxxxxxx
>
Date
: Wed, 25 Nov 2015 08:29:24 -0800 (PST)
References
: <
ff217632-3b81-4e3e-9f6a-c8d2db341b70@googlegroups.com
> <
56533F91.5020906@lemmster.de
>
Thank you very much Markus! I tried 11/25/2015 build and it is so much better in handling PrintT output. I also liked a new modules node under the open spec node which makes exploring dependencies so much easier.
Thank you again,
Yuri
Follow-Ups
:
Re: [tlaplus] Toolbox is unresponsive when PrintT is used
From:
Markus Alexander Kuppe
References
:
Toolbox is unresponsive when PrintT is used
From:
Y2i
Re: [tlaplus] Toolbox is unresponsive when PrintT is used
From:
Markus Alexander Kuppe
Prev by Date:
Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
Next by Date:
Re: [tlaplus] Toolbox is unresponsive when PrintT is used
Previous by thread:
Re: [tlaplus] Toolbox is unresponsive when PrintT is used
Next by thread:
Re: [tlaplus] Toolbox is unresponsive when PrintT is used
Index(es):
Date
Thread