From 4d63df9bf088e74146733e1d250ffa99f176e8ee Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 24 Jul 2018 20:19:59 +0200
Subject: [PATCH] more MoSeL

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 8dfa27155..7b3d05519 100644
--- a/README.md
+++ b/README.md
@@ -106,7 +106,7 @@ that should be compatible with this version:
 
 * Information on how to set up your editor for unicode input and output is
   collected in [Editor.md](Editor.md).
-* The Iris Proof Mode (IPM) is documented at [ProofMode.md](ProofMode.md).
+* The Iris Proof Mode (IPM) / MoSeL is documented at [ProofMode.md](ProofMode.md).
 * Naming conventions are documented at [Naming.md](Naming.md).
 
 ### How to update the std++ dependency
-- 
GitLab