Break at 80 in README.

f9f87bb2 · Robbert Krebbers · cca64185 · f9f87bb2
Commit f9f87bb2 authored Jan 31, 2016 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 4 deletions

README README +5 -4

No files found.
--- 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
 ---------------------