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

Re: [tlaplus] Toolbox is unresponsive when PrintT is used



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