From f9f87bb209704cf7fe98a55621d6c386db1a1b69 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sun, 31 Jan 2016 23:39:49 +0100
Subject: [PATCH] Break at 80 in README.

---
 README | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/README b/README
index 5e2238711..53ccfc1bb 100644
--- a/README
+++ b/README
@@ -7,10 +7,11 @@ This version is known to compile with:
  - Ssreflect 1.6
  - Autosubst 1.4
 
-For development, better make sure you have a version of Ssreflect that includes commit be724937
-(no such version has been released so far, you'll have to fetch the development branch yourself).
-Iris compiles fine even without this patch, but proof bullets will only be in 'strict' (enforcing)
-mode with the fixed version of Ssreflect.
+For development, better make sure you have a version of Ssreflect that includes
+commit be724937 (no such version has been released so far, you will have to
+fetch the development branch yourself). Iris compiles fine even without this
+patch, but proof bullets will only be in 'strict' (enforcing) mode with the
+fixed version of Ssreflect.
  
 BUILDING INSTRUCTIONS
 ---------------------
-- 
GitLab