TLA+Tools and Toolbox contributions

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

Hi,

in light of the recent Unicode discussion, I'd like to make the
community aware of a recent simplification to setup and configure a
development environment for the TLA+Tools and the Toolbox. The
documentation can be found in the tlaplus git [1][2].
The idea is that a contributor is able to get started with working on
the TLA+ code within a few.

Note that we also have a CLA [3][4] that any contributor will have to sign.

Cheers
Markus

[1] https://github.com/tlaplus/tlaplus/tree/master/general/ide
[2] http://tlaplus.codeplex.com/SourceControl/latest#general/ide/README.md
[3]
https://raw.githubusercontent.com/tlaplus/tlaplus/master/general/cla/YOUR-NAME.txt.template
[4]
http://tlaplus.codeplex.com/SourceControl/latest#general/cla/YOUR-NAME.txt.template