Hello Harold,
it looks like you are running the most recent public version of TLAPS. We are preparing a bug fix release that should have appeared at the end of last year but unfortunately has been held up by a few technical issues. Also, work has started on supporting ENABLED as a first step towards reasoning about more general liveness properties, but I don't know when we'll be ready to release that.
Best regards,
Stephan
> --
> You received this message because you are subscribed to the Google Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
tlaplus+u...@googlegroups.com.
> To post to this group, send email to
tla...@googlegroups.com.
> Visit this group at
https://groups.google.com/group/tlaplus.
> For more options, visit
https://groups.google.com/d/optout.