X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2Fyacasl2.html;h=40df70ad7b344b40ca058407a051d550998b5e56;hp=3ddd0bb69b1134874dcb3d7b18f11208d5dfa3e3;hb=79c6567f23680b5c1723726f541b614caa153fe3;hpb=62946aa7fff13af98f6e07ed45d2a2330bc18a7d

diff --git a/doc/yacasl2.html b/doc/yacasl2.html
index 3ddd0bb..40df70a 100644
--- a/doc/yacasl2.html
+++ b/doc/yacasl2.html
@@ -3,7 +3,7 @@
 <title>YACASL2 - Linux上のCASL II処理系</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
 <meta name="description" content="YACASL2 - Linux上のCASL II処理系">
-<meta name="generator" content="makeinfo 4.11">
+<meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
 <!--