make README ready for merger

f8e23d1c · Ralf Jung · abc98e0a · f8e23d1c
Commit f8e23d1c authored Jul 02, 2018 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 3 deletions

README.md README.md +2 -3

No files found.
--- a/README.md
+++ b/README.md
-# 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