[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Is the TLA+ Hyperbook down?
This one works, thanks!
Dátum: nedeľa 15. januára 2023, čas: 20:02:51 UTC+1, odosielateľ: Markus Alexander Kuppe
It seems as if the zip file has been moved/the URL is broken. Try https://lamport.azurewebsites.net/tla/hyperbook.zip
> On Jan 15, 2023, at 10:53 AM, hornace...@xxxxxxxxx <hornace...@xxxxxxxxx> wrote:
> 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.
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/b7884b55-664b-42fe-a195-6f5adf7194d5n%40googlegroups.com.