Release Version 9.14 (Hongo Assertion)

k-okada · k-okada · commit cf74bc8776f4 · 2015-06-19T09:49:39.000+09:00
diff --git a/doc/HISTORY b/doc/HISTORY
@@ -525,3 +525,5 @@
          update lib/llib/documentation.l (fix style, add code block, add class string, doc for installed functions)
          fix to work on class documentation (common.l)
          lisp/l/packsym.l raise error when intsymvector is full, which previouusly go into infinite loop
+2015-Jun ; version 9.14
+         fix assert API. Now message is optional (defmacro assert (pred &optional message)
diff --git a/doc/jlatex/jintro.tex b/doc/jlatex/jintro.tex
@@ -206,6 +206,7 @@ \subsection{開発履歴}
 \item[2015] min/maxのエラーチェック，vplus任意長対応, non-ttypモードでのメッセージ表示消去. バージョンが9.11となった．
 \item[2015] ARMサポートが追加された．バージョンが9.12となった．
             class documentationが追加された．バージョンが9.13となった．
+            assert 関数のAPIが変更された．message がオプションになった (defmacro assert (pred \&optional message)．バージョンが9.14となった．
 \end{description}
 
 \subsection{インストール}
diff --git a/doc/jlatex/jmanual.tex b/doc/jlatex/jmanual.tex
@@ -10,7 +10,7 @@
 \AtBeginDvi{\special{pdf:tounicode 90ms-RKSJ-UCS2}}\fi
 
 %%%
-\newcommand{\eusversion}{9.13}
+\newcommand{\eusversion}{9.14}
 
 
 \flushbottom
diff --git a/doc/latex/intro.tex b/doc/latex/intro.tex
@@ -278,6 +278,7 @@ \subsection{Revision History}
 \item[2015] more error check on min/max, support arbitrary length for vplus, more quiet for non-ttyp mode, Version 9.11 is releaced.
 \item[2015] Version 9.12 is released, support ARM
             Version 9.13 is released, support class documentation
+            Version 9.14 is released, fix assert API. Now message is optional (defmacro assert (pred \&optional message)
 \end{description}
 
 \subsection{Installation}
diff --git a/doc/latex/manual.tex b/doc/latex/manual.tex
@@ -8,7 +8,7 @@
 \usepackage[dvipdfmx,bookmarks=true,bookmarksnumbered=true,bookmarkstype=toc]{hyperref}
 
 %%%
-\newcommand{\eusversion}{9.13}
+\newcommand{\eusversion}{9.14}
 
 \flushbottom
 \makeindex
