Saved and published documentation for release 20200123.

e3f67efa · POTTIER Francois · fd9a4b99 · e3f67efa · e3f67efa · e3f67efa
Commit e3f67efa authored Jan 23, 2020 by POTTIER Francois
--- a/releases/20200123/doc/manual.html
+++ b/releases/20200123/doc/manual.html
--- a/releases/20200123/doc/manual.pdf
+++ b/releases/20200123/doc/manual.pdf
--- a/releases/20200123/doc/manual001.png
+++ b/releases/20200123/doc/manual001.png
--- a/releases/20200123/doc/manual002.png
+++ b/releases/20200123/doc/manual002.png
--- a/releases/20200123/doc/manual003.png
+++ b/releases/20200123/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 20200121)
+(version 20200123)
 </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 20200121)</h1><h3 class="titlerest">François Pottier and Yann Régis-Gianas<br>
+(version 20200123)</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