Commit b1da8bf0 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Version 0.87.1

parent d07c33ca
* marks an incompatible change
Version 0.87.1, May 27, 2016
============================
bug fixes
o assorted bug fixes
Version 0.87.0, March 15, 2016
==============================
......
# Why version
VERSION=0.87.0
VERSION=0.87.1
......@@ -108,7 +108,7 @@
%BEGIN LATEX
\begin{LARGE}
%END LATEX
Version \whyversion{}, March 2016
Version \whyversion{}, May 2016
%BEGIN LATEX
\end{LARGE}
%END LATEX
......
......@@ -356,7 +356,7 @@ definitions~\cite{paskevich09rr}.
% \item[encoding\_enumeration]
\item[encoding\_smt]
encodes polymorphic types into monomorphic type~\cite{conchon08smt}.
encodes polymorphic types into monomorphic types~\cite{conchon08smt}.
\index{encoding-smt@\verb+encoding_smt+}
\item[encoding\_tptp]
......@@ -435,7 +435,8 @@ P(t)
\end{description}
\subsection{Other Splitting Transformations}~\label{tech:trans:split}
\subsection{Other Splitting Transformations}
\label{tech:trans:split}
\begin{description}
......
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