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

[tlaplus] TLAPM now publishes rolling pre-releases

From: Andrew Helwer <andrew.helwer@xxxxxxxxx>
Date: Wed, 4 Dec 2024 11:59:51 -0800 (PST)

Hello all,

Pleased to announce that TLAPM now publishes rolling pre-releases built directly from the head of the main branch, similar to the Java-based TLA+ tools. You can download these pre-built artifacts here:

https://github.com/tlaplus/tlapm/releases/tag/1.6.0-pre

Andrew Helwer

--
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 visit https://groups.google.com/d/msgid/tlaplus/bdbf5a88-3788-4357-bede-fd48379e87fen%40googlegroups.com.

Follow-Ups:
- Re: [tlaplus] TLAPM now publishes rolling pre-releases
  - From: Karolis Petrauskas

Prev by Date: Re: [tlaplus] Question about importance of "⊨ F⇒ G implies ⊨ □F ⇒□G"
Next by Date: Re: [tlaplus] Why Apalachee reports InvariantViolation for the BakeryTyped spec from its source repo?
Previous by thread: [tlaplus] ABZ 2025
Next by thread: Re: [tlaplus] TLAPM now publishes rolling pre-releases
Index(es):
- Date
- Thread