Is the TLA+ Hyperbook down?
20 views
Skip to first unread message
hornace...@gmail.com
Jan 15, 2023, 1:53:15 PM1/15/23
to tlaplus
Hi,
were there some recent changes to the TLA+ Hyperbook, please?
Thank you.
M.
were there some recent changes to the TLA+ Hyperbook, please?
I don't seem to be able to download it from Leslie's page (I am getting Failed - No file when I try to save it) and I also seem to have trouble building it from sources.
Thank you.
M.
Markus Kuppe
Jan 15, 2023, 2:02:51 PM1/15/23
to tla...@googlegroups.com
It seems as if the zip file has been moved/the URL is broken. Try https://lamport.azurewebsites.net/tla/hyperbook.zip
M.
M.
hornace...@gmail.com
Jan 15, 2023, 2:24:33 PM1/15/23
to tlaplus
This one works, thanks!
M.
M.
Dátum: nedeľa 15. januára 2023, čas: 20:02:51 UTC+1, odosielateľ: Markus Alexander Kuppe
Reply all
Reply to author
Forward
0 new messages