On 29.04.2015 20:31, Chen Fu wrote: > Thank you both very much for going out of you way to help me. I may have > downloaded the wrong version. can you give me a link? Hi Chen Fu, the location for the (yet unreleased) 1.4.9 Toolbox is at http://tla.msr-inria.inria.fr/tlatoolbox/ci/products/ Markus