[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] TLA+ Toolbox 1.7.1 maintenance release
the 1.7.1 TLA+ Toolbox & Tools release has been made available ,
which is a maintenance release that addresses several bugs. Please check
the changelog  for details.
You can skip 1.7.1 if you've already upgraded to a nightly build
(version 1.8.0) since the 1.7.0 release in April.
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/5ce43b0c-0fe4-dce5-ccde-18b87c946a9c%40lemmster.de.