[tlaplus] New to TLA+ Trying to install 1.7.3 from Github

[Andrew Frances <af.stackless@xxxxxxxxx>]

Hi Folks:

I am new to TLA+. I don't do much Java these days. I downloaded 1.7.3 and untarred it. I looked at the Linux instructions. I have looked at the Read.me. I cannot seem to find instructions on stuff like setting up the classpath. How do I run the toolbox? Any help would be appreciated. Also perhaps I can help update the Linux instructions?

Thank you,

Andrew

-- 
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/912e5f3d-f96e-406f-9ac4-3f7d3ca7e762n%40googlegroups.com.