search

hwayne / learntla

A TLA+ guide
http://www.learntla.com
Creative Commons Attribution 4.0 International
278 stars 57 forks source link

Dead link on "Using the Toolbox" #52

Closed YoranBrondsema closed 6 years ago

YoranBrondsema commented 6 years ago

The link TLA+ Toolbox in the first paragraph of https://learntla.com/pluscal/toolbox/ is dead (400 Bad Request). I'm not sure what was there before but maybe it can be replaced with http://lamport.azurewebsites.net/tla/toolbox.html?

hwayne commented 6 years ago

That's odd, it's working for me. Can you confirm that it's still broken on your end?

YoranBrondsema commented 6 years ago

Ah, my bad. It looks like the HTTPS Everywhere extension is causing the error.