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

[tlaplus] EOL/EOVS dates of v1.7.2

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.


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.