Merge master into cl-compatible

Author: Affonso-Gui

doc/jlatex/jcontrols.tex

@@ -93,6 +93,9 @@ \subsection{ローカル関数}
 {\bf flet}と{\bf labels}との違いは、
 {\bf flet}で定義されたローカル関数は、その他の関数を参照または再帰できないが、
 {\bf labels}は相互の参照を許可する。}
+
+\specialdesc{macrolet}{ (\{name lambda-list . body)\}*) \{form\}*}{
+ローカルマクロを定義する。}
 \end{refdesc}
 
 \subsection{ブロックとExit}

doc/jlatex/jgenerals.tex

@@ -528,22 +528,22 @@ \subsection{特殊書式}
 \begin{center}
 {\large
 \begin{tabular}{|l l l|} \hline 
-and & flet & quote \\
-block & function & return-from\\
-catch & go & setq \\
-cond & if & tagbody \\
-declare & labels & the \\
-defmacro & let & throw \\
-defmethod & let* & unwind-protect \\
-defun & progn & while \\
-eval-when & or & \\
+and & flet & progn \\
+block & function & quote\\
+catch & go & return-from\\
+cond & if & setq\\
+declare & labels & tagbody\\
+defmacro & let & the\\
+defmethod & let* & throw\\
+defun & macrolet & unwind-protect\\
+eval-when & or & while\\
 \hline
 \end{tabular} }
 \end{center}
 \end{table}
 
 全ての特殊書式は、表\ref{SpecialForms}にリストされている。
-{\bf macrolet, compiler-let,}や{\bf progv}は、該当しない。
+{\bf symbol-macrolet, compiler-let,}や{\bf progv}は、該当しない。
 特殊書式は、文脈の評価および制御フローの管理のための
 基本的な言語構造である。
 インタプリタとコンパイラは、これらの構造をそれぞれ正しく処理する

doc/jlatex/jintro.tex

@@ -144,7 +144,7 @@ \subsection{Common Lispとの互換性}
 \item いくつかのデータ型:
       complex number, bignum, ratio, character, deftype
 \item いくつかの特殊書式:
-      progv, compiler-let,macrolet
+      progv, compiler-let, symbol-macrolet
 \end{enumerate}
 
 次の特徴は、まだ完全でない。：

doc/jlatex/jmanual.dvi

@@ -102,7 +102,7 @@ \subsection{symbol}
 
 \specialdesc{defmacro}{symbol [documentation] lambda-list . body}{
 グローバルマクロを定義する。
-EusLispは、ローカルスコープマクロ定義の機能を持っていない。}
+ローカルマクロを定義するためには、{\bf macrolet}を使用すること。}
 
 \macrodesc{defvar}{var \&optional (init nil) doc}{
 もし{\em var}が特殊値を持っていれば、{\bf defvar} は何もしない。

doc/jlatex/jmanual.pdf

@@ -94,6 +94,9 @@ \subsection{Local Functions}
 The difference between {\em flet} and {\em labels} is,
 the local functions defined by {\em flet} cannot reference
 each other or recursively, whereas {\em labels} allows such mutual references.}
+
+\specialdesc{macrolet}{ (\{(name lambda-list . body)\}*) \{form\}*}{
+defines local macros.}
 \end{refdesc}
 
 \subsection{Blocks and Exits}

doc/jlatex/jsymbols.tex

@@ -542,23 +542,23 @@ \subsection{Special Forms}
 \begin{center}
 {\large
 \begin{tabular}{|l l l|} \hline 
-and & flet & quote \\
-block & function & return-from\\
-catch & go & setq \\
-cond & if & tagbody \\
-declare & labels & the \\
-defmacro & let & throw \\
-defmethod & let* & unwind-protect \\
-defun & progn & while \\
-eval-when & or & \\
+and & flet & progn \\
+block & function & quote\\
+catch & go & return-from\\
+cond & if & setq\\
+declare & labels & tagbody\\
+defmacro & let & the\\
+defmethod & let* & throw\\
+defun & macrolet & unwind-protect\\
+eval-when & or & while\\
 \hline
 \end{tabular} }
 \end{center}
 \caption{\label{SpecialForms}EusLisp's special forms}
 \end{table}
 
 All the special forms are listed in Table \ref{SpecialForms}.
-{\bf macrolet, compiler-let,} and {\bf progv} have not been implemented.
+{\bf symbol-macrolet, compiler-let,} and {\bf progv} have not been implemented.
 Special forms are essential language constructs for the management of
 evaluation contexts and control flows.
 The interpreter and compiler have special knowledge to

doc/latex/controls.tex

@@ -221,7 +221,7 @@ \subsection{Compatibility with Common Lisp}
       complex number, bignum, character, deftype and ratio (this last
       one is present only in a limited way as well);
 \item some of special forms:
-      progv, compiler-let,macrolet
+      progv, compiler-let, symbol-macrolet
 \end{enumerate}
 
 Following features are incomplete: