[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
TLA+Tools and Toolbox contributions
- From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
- Date: Fri, 1 Apr 2016 12:26:38 +0200
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
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 .
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  that any contributor will have to sign.