Index: doc/eval.html
==================================================================
--- doc/eval.html
+++ doc/eval.html
@@ -130,11 +130,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Sun Nov 28 07:28:21 2010
+			on Tue Nov 30 10:23:12 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/index.html
==================================================================
--- doc/index.html
+++ doc/index.html
@@ -623,10 +623,11 @@
 には、Polemy のコードは実行時エラーで終了します……<tt>@value</tt> レイヤならば。
 </p>
 <p>
 ユーザー定義レイヤでは、このような時にも実行時エラーにならず、
 「<font color=red><b>ボトム</b></font>」という特別な値がリフト関数に渡されます。
+（ボトムのリフトに失敗した時は、この再帰停止処理は行われません。無限ループします。）
 組み込みの <tt>_isbot</tt> 関数で、ボトムかどうか判定できます。
 </p>
 <p>
 「再帰が無限に止まらなくなったとき」は、
 ある引数で呼び出された関数が、return するよりも前にまた同じ引数で呼び出されたら、
@@ -1159,11 +1160,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Sun Nov 28 07:29:42 2010
+			on Tue Nov 30 10:23:12 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/lex.html
==================================================================
--- doc/lex.html
+++ doc/lex.html
@@ -309,11 +309,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Sat Nov 27 23:29:19 2010
+			on Tue Nov 30 10:23:12 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/parse.html
==================================================================
--- doc/parse.html
+++ doc/parse.html
@@ -58,11 +58,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Sat Nov 27 23:29:20 2010
+			on Tue Nov 30 10:23:12 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: index.dd
==================================================================
--- index.dd
+++ index.dd
@@ -486,10 +486,11 @@
 には、Polemy のコードは実行時エラーで終了します……<tt>@value</tt> レイヤならば。
 </p>
 <p>
 ユーザー定義レイヤでは、このような時にも実行時エラーにならず、
 「$(RED $(B ボトム))」という特別な値がリフト関数に渡されます。
+（ボトムのリフトに失敗した時は、この再帰停止処理は行われません。無限ループします。）
 組み込みの <tt>_isbot</tt> 関数で、ボトムかどうか判定できます。
 </p>
 <p>
 「再帰が無限に止まらなくなったとき」は、
 ある引数で呼び出された関数が、return するよりも前にまた同じ引数で呼び出されたら、