Commit 656753ca authored by Guillaume Melquiond's avatar Guillaume Melquiond

Version 0.86.3

parent 4a2b5e8b
* marks an incompatible change
Version 0.86.3, February 8, 2016
================================
bug fixes
o assorted bug fixes
provers
o fix compilation issues with Coq 8.5
(the tactic for 8.5 now behaves like idtac on successfully proved goals)
Version 0.86.2, October 13, 2015
================================
......
# Why version
VERSION=0.86.2
VERSION=0.86.3
......@@ -108,7 +108,7 @@
%BEGIN LATEX
\begin{LARGE}
%END LATEX
Version \whyversion{}, October 2015
Version \whyversion{}, February 2016
%BEGIN LATEX
\end{LARGE}
%END LATEX
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment