How to build Codeplex Tlaplus Tools?

[marc magrans de abril <marcmagra...@xxxxxxxxx>]

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?

Thanks,

Marc