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

[tlaplus] EOL/EOVS dates of v1.7.2

From: Leo Li <leo.zt.li@xxxxxxxxx>
Date: Wed, 13 Jul 2022 09:10:48 -0700 (PDT)

Hi Everyone,

I'm trying to introduce TLA+ into my company, but our security review process requires information of the version's EOL/EOVS. Because I couldn't find a place to post this question, and https://github.com/tlaplus/tlaplus/issues also directed me to this place, so hoping to get some help here.

Thanks,

Leo

--
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/2109a5c4-234d-4554-b63c-b34e87a0e4a3n%40googlegroups.com.

Follow-Ups:
- Re: [tlaplus] EOL/EOVS dates of v1.7.2
  - From: Markus Kuppe

Prev by Date: [tlaplus] Simple Question - Safety and Liveness
Next by Date: Re: [tlaplus] TLA+ tree-sitter grammar updates
Previous by thread: Re: [tlaplus] Simple Question - Safety and Liveness
Next by thread: Re: [tlaplus] EOL/EOVS dates of v1.7.2
Index(es):
- Date
- Thread