Hi. I recently installed the TLA Toolbox on a Mac. It kept complaining about JVM versions although I have 4 different JVMs installed, including 1.8, and in fact 1.8 is my default. Eclipse apparently thinks otherwise. I managed to override it with -vm argument in toolbox.ini and got past the JVM incompatibility dialog.
But then a Login required dialog pops up, requesting username/password for lamport.org. I didn't see this mentioned anywhere, in the help, in the GitHub issues, in Bugzilla, in Google searches, etc. I also didn't see anywhere on the site to sign up for a login. Despite the dialog box title "Login Required", is this something I could/should just click Cancel and can proceed without actually logging in?
I emailed Leslie Lamport about this, and he suggested I ask on this group.