Commit c0aa0779 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Version 0.87.3

parent 679b1ae7
* marks an incompatible change * marks an incompatible change
Version 0.87.3, January ??, 2017 Version 0.87.3, January 12, 2017
================================= ================================
bug fixes bug fixes
o fixed OCaml extraction with respect to ghost parameters o fixed OCaml extraction with respect to ghost parameters
......
...@@ -1933,7 +1933,6 @@ MORE_DIST = configure install-sh doc/manual.pdf ...@@ -1933,7 +1933,6 @@ MORE_DIST = configure install-sh doc/manual.pdf
dist: $(MORE_DIST) dist: $(MORE_DIST)
rm -rf distrib/$(NAME)/ distrib/$(NAME).tar.gz rm -rf distrib/$(NAME)/ distrib/$(NAME).tar.gz
rm -rf distrib/$(EXTRANAME)/ distrib/$(EXTRANAME).tar.gz
mkdir -p distrib/ mkdir -p distrib/
git archive --format tar --prefix $(NAME)/ HEAD | tar x -C distrib/ git archive --format tar --prefix $(NAME)/ HEAD | tar x -C distrib/
for f in $(MORE_DIST); do cp $$f distrib/$(NAME)/$$f; done for f in $(MORE_DIST); do cp $$f distrib/$(NAME)/$$f; done
......
# Why version # Why version
VERSION=0.87.2 VERSION=0.87.3
...@@ -108,7 +108,7 @@ ...@@ -108,7 +108,7 @@
%BEGIN LATEX %BEGIN LATEX
\begin{LARGE} \begin{LARGE}
%END LATEX %END LATEX
Version \whyversion{}, September 2016 Version \whyversion{}, January 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