diff options
Diffstat (limited to 'dev')
| -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 492e75a7bb..a18a57c1bc 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 |