Saved and published documentation for release 20200624.

c889bddf · POTTIER Francois · 214d73d8 · c889bddf · c889bddf · c889bddf
Commit c889bddf authored Jun 24, 2020 by POTTIER Francois
10 changed files
--- a/releases/20200624/doc/manual.html
+++ b/releases/20200624/doc/manual.html
--- a/releases/20200624/doc/manual.pdf
+++ b/releases/20200624/doc/manual.pdf
--- a/releases/20200624/doc/manual001.png
+++ b/releases/20200624/doc/manual001.png
--- a/releases/20200624/doc/manual002.png
+++ b/releases/20200624/doc/manual002.png
--- a/releases/20200624/doc/manual003.png
+++ b/releases/20200624/doc/manual003.png
--- a/www/doc/manual.html
+++ b/www/doc/manual.html
@@ -58,13 +58,13 @@ font-size: 1rem;
 }
 </style>
 <title>Menhir Reference Manual 
-(version 20200619)
+(version 20200624)
 </title>
 </head>
 <body >
 <!--HEVEA command line is: hevea -fix manual.tex -->
 <!--CUT STYLE article--><!--CUT DEF section 1 --><table class="title"><tr><td style="padding:1ex"><h1 class="titlemain">Menhir Reference Manual<br>
-(version 20200619)</h1><h3 class="titlerest">François Pottier and Yann Régis-Gianas<br>
+(version 20200624)</h1><h3 class="titlerest">François Pottier and Yann Régis-Gianas<br>
 INRIA<br>
 <span style="font-family:monospace">{Francois.Pottier, Yann.Regis-Gianas}@inria.fr</span></h3></td></tr>
 </table><!--TOC section id="sec1" Contents-->

--- a/www/doc/manual.pdf
+++ b/www/doc/manual.pdf
--- a/www/doc/manual001.png
+++ b/www/doc/manual001.png
--- a/www/doc/manual002.png
+++ b/www/doc/manual002.png
--- a/www/doc/manual003.png
+++ b/www/doc/manual003.png