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

Re: [tlaplus] Re: pcal.trans error not shown in IDE

Awesome. Thanks, Leslie! Can’t wait to test it.


On Aug 30, 2015, at 10:03 AM, Leslie Lamport <tlapl...@xxxxxxxxx> wrote:

Hi Elliot,

Thanks for reporting the bug.  I fixed it in the code available on the CodePlex site.  The fix will appear in the next release.