Dear Tlaplus Tools experts,
I have performed the following steps:
* Cloned the Git repo in https://tlaplus.codeplex.com/
* Compile the default target of the customBuild.xml file under tlaplus/tlatools
* This generates a tla2tools.jar
I wonder if that's all I need to compile all the tools. Is it?
Do you have any instructions on the procedure to compile and run a new version?
Have I compiled all the tools (i.e. TLC, SANY, etc.)?
What should I do to run this new version in my OSX?