From 6eeb2c954677f6887a671de723413dedb0185df7 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 28 Jan 2019 09:08:37 +0100
Subject: [PATCH] reflect in README that this is the 3.1 branch

---
 README.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 875940e45..52ea78740 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,8 @@
-# IRIS COQ DEVELOPMENT
+# IRIS COQ DEVELOPMENT (3.1 branch)
 
-This is the Coq development of the [Iris Project](http://iris-project.org).
+This is the 3.1 branch of the Coq development of the
+[Iris Project](http://iris-project.org).  For the latest version,
+[please switch to the master branch](https://gitlab.mpi-sws.org/iris/iris/).
 
 ## Prerequisites
 
-- 
GitLab