From c2771e8852f7931bd54a8b58a3aa7b8fb03f7913 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 18 Jul 2024 13:54:26 +0200
Subject: [PATCH] Delete our README.md to make room for the official one

---
 README.md | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 README.md

diff --git a/README.md b/README.md
deleted file mode 100644
index 742358c59..000000000
--- a/README.md
+++ /dev/null
@@ -1,13 +0,0 @@
-# TLA+ Tools
-
-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