From 9966bc1a509e48808d6c6cbf0a9274eb0d234d60 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 26 Oct 2017 15:18:00 +0200
Subject: Updating version history wrt 8.7.

---
 dev/doc/versions-history.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/dev/doc/versions-history.tex b/dev/doc/versions-history.tex
index e0494dfd91..3867d4af90 100644
--- a/dev/doc/versions-history.tex
+++ b/dev/doc/versions-history.tex
@@ -389,6 +389,14 @@ Coq V8.6 beta 1 & released 19 November 2016 & \feature{irrefutable patterns} [15
 
 Coq V8.6 & released 14 December 2016 & \\
 
+Coq V8.7 beta 1 & released 6 September 2017 & \feature{bundled with Ssreflect plugin} [6-6-2017]\\
+&& \feature{cumulative polymorphic inductive types} [19-6-2017]\\
+&& \feature{further optimizations}\\
+
+Coq V8.7 beta 2 & released 6 October 2017 & \\
+
+Coq V8.7 & released 18 October 2016 & \\
+
 \end{tabular}
 
 \medskip
-- 
cgit v1.2.3