From f8e23d1caa4a05e64a3895a278404ffa18f82f69 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 2 Jul 2018 10:58:49 +0200
Subject: [PATCH] make README ready for merger

---
 README.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 48b24f153..39ff167a0 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,6 @@
-# IRIS COQ DEVELOPMENT, MOSEL VERSION
+# IRIS COQ DEVELOPMENT
 
-This is the Coq development of the [Iris Project](http://iris-project.org), in
-the MoSeL version.
+This is the Coq development of the [Iris Project](http://iris-project.org).
 
 A LaTeX version of the core logic definitions and some derived forms is
 available in [docs/iris.tex](docs/iris.tex).  A compiled PDF version of this
-- 
GitLab