diff --git a/README.md b/README.md new file mode 100644 index 0000000000000000000000000000000000000000..4f1ce17cd63fd28b3918535dd8b8bc0cddfa75fa --- /dev/null +++ b/README.md @@ -0,0 +1,15 @@ +#TLA+ Tools + +[](https://travis-ci.org/hhu-stups/tlatools) + +Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, +an IDE for writing specifications and running tools to check them. + + +This CodePlex site hosts the source code for the TLA+ Toolbox and TLA+ Tools. +The executable versions of the code are available for download through a link on the +TLA+ web site at research.microsoft.com/en-us/um/people/lamport/tla/tla.html, +under the same M.I.T. license with which the source code has been released. +The TLAPS proof system can be downloaded from http://tla.msr-inria.inria.fr/tlaps/content/Home.html. +For information about TLA+, visit the TLA+ web site. +Last edited Jul 29, 2013 at 7:26 PM by lamport, version 7