diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-07-06 11:11:35 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-10-26 15:04:07 +0200 |
commit | e1e9ef98f01cc2aafb99ec929e692117ac75f659 (patch) | |
tree | 5e5a31fa8935c226e3f9ba0c0090e01bdc066b4b /dev/doc | |
parent | ad973248998da8d7d10ed00f4bcd6f383ba9a171 (diff) |
Updating version history wrt 8.5.
Diffstat (limited to 'dev/doc')
-rw-r--r-- | dev/doc/versions-history.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev/doc/versions-history.tex b/dev/doc/versions-history.tex index 492e75a7b..a18a57c1b 100644 --- a/dev/doc/versions-history.tex +++ b/dev/doc/versions-history.tex @@ -376,9 +376,12 @@ Coq V8.5 beta1 & released 21 January 2015 & \feature{computation via compilation && \feature{new proof engine deployed} [2-11-2013]\\ && \feature{universe polymorphism} [6-5-2014]\\ && \feature{primitive projections} [6-5-2014]\\ +&& \feature{miscellaneous optimizations}\\ Coq V8.5 beta2 & released 22 April 2015 & \feature{MMaps library} [4-3-2015]\\ +Coq V8.5 & released 22 January 2016 & \\ + \end{tabular} \medskip |