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

Re: [tlaplus] The Future of TLA+

I didn't see the tables in the document and didn't immediately realize that they were supposed to be in Specifying Systems. Maybe each table could be given a page reference?

H

On 8/28/2024 6:58 AM, Leslie Lamport wrote:
The future of TLA+ is now in the hands of the TLA+ Foundation.   The document The Future of TLA+ has been written to serve as a guide to how proposals to change the language and related parts of the TLA+ infrastructure such as PlusCal should be viewed.

Leslie
--
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/189790eb-98a3-4569-a22e-87147f23b791n%40googlegroups.com.

--
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/cd347df9-2af8-4dab-b7ad-00e068f39a63%40gmail.com.