From 372f53ca0bd948216405158fa1b44823f2d16e27 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Tue, 18 Aug 2015 09:43:26 +0200
Subject: [PATCH] Create README.md

---
 README.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 000000000..4f1ce17cd
--- /dev/null
+++ b/README.md
@@ -0,0 +1,15 @@
+#TLA+ Tools
+
+[![Build Status](https://travis-ci.org/hhu-stups/tlatools.svg)](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
-- 
GitLab