[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
new TLA+ web site
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Fri, 4 Jan 2019 16:03:48 -0800 (PST)
I just released the new, improved TLA+ web site. Please let me know (off line) if you encounter any problems or have suggestions for improving it. The home page is still at:
https://lamport.azurewebsites.net/tla/tla.html
Leslie
Prev by Date:
TLA+ Conference September 12, 2019 in St. Louis, MO, USA
Next by Date:
Variable to replace constant
Previous by thread:
[tlaplus] Re: TLA+ Conference September 12, 2019 in St. Louis, MO, USA
Next by thread:
Variable to replace constant
Index(es):
Date
Thread