[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,