[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 09:07:29 -0800 (PST)
References: <ff217632-3b81-4e3e-9f6a-c8d2db341b70@googlegroups.com> <56533F91.5020906@lemmster.de> <33252dde-9a98-4c38-8b04-c2810198a81b@googlegroups.com> <5655E2ED.9020403@lemmster.de>

Thank you Markus. These two features significantly improve usability of Toolbox!

References:
- Toolbox is unresponsive when PrintT is used
  - From: Y2i
- Re: [tlaplus] Toolbox is unresponsive when PrintT is used
  - From: Markus Alexander Kuppe
- Re: [tlaplus] 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] Toolbox is unresponsive when PrintT is used
Next by Date: Hyperbook Question 6.4
Previous by thread: Re: [tlaplus] Toolbox is unresponsive when PrintT is used
Next by thread: Assuming a contiguous subset of Nat
Index(es):
- Date
- Thread