change log + webpage for release 1.6

Author: damien-pous

CHANGELOG

@@ -1,4 +1,8 @@
 
+== RelationAlgebra 1.6  (2016, May 10th) ==
+
+- minor fix to make it compile with Coq 8.5pl1
+
 == RelationAlgebra 1.5  (2016, March 4th) ==
 
 - few additions to the [relalg] and [lattice] modules

README.md

@@ -58,8 +58,7 @@ verification:
 
 ## INSTALLATION
 
-Run 'make' to compile the library, and 'make install' to install
-it. Coq v8.5.0 is required; more recent versions might work.
+Run 'make' to compile the library, and 'make install' to install it. 
 
 
 ## DOCUMENTATION

index.html

@@ -121,9 +121,12 @@ <h2 id="download">Download</h2>
 Public License version 3. It is available through opam, under the
 name <em>relation-algebra</em>. Alternatively, here are the various versions:
 <ul>
+  <li> Seventh release (2016 mai 10th):
+  <a href="https://github.com/damien-pous/relation-algebra/archive/v1.6.tar.gz">
+  relation-algebra-1.6.tar.gz</a> (compiles at least with Coq v8.5pl1).
   <li> Sixth release (2016 march 4th):
   <a href="https://github.com/damien-pous/relation-algebra/archive/v1.5.tar.gz">
-  relation-algebra-1.5.tar.gz</a> (compiles at least with Coq v8.5.0).
+  relation-algebra-1.5.tar.gz</a> (compiles with Coq v8.5.0).
   <li> Fifth release (2016 february 9th):
   <a href="https://github.com/damien-pous/relation-algebra/archive/v1.4.tar.gz">
   relation-algebra-1.4.tar.gz</a> (compiles at least with Coq v8.5.0).