Commit f8f4c779 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Version 0.87.0

parent f92faaa6
...@@ -9,5 +9,4 @@ ...@@ -9,5 +9,4 @@
.gitignore export-ignore .gitignore export-ignore
.gitattributes export-ignore .gitattributes export-ignore
/check.sh export-ignore /check.sh export-ignore
/.merlin.in export-ignore
/TODO export-ignore /TODO export-ignore
* marks an incompatible change * marks an incompatible change
Version 0.87.0, March 15, 2016
================================
Language Language
* Add new logical connectives "by" and "so" as keywords * Add new logical connectives "by" and "so" as keywords
......
# Why version # Why version
VERSION=0.86+git VERSION=0.87.0
...@@ -108,7 +108,7 @@ ...@@ -108,7 +108,7 @@
%BEGIN LATEX %BEGIN LATEX
\begin{LARGE} \begin{LARGE}
%END LATEX %END LATEX
Version \whyversion{}, February 2016 Version \whyversion{}, March 2016
%BEGIN LATEX %BEGIN LATEX
\end{LARGE} \end{LARGE}
%END LATEX %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