===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/builtin/misc.texi,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -p -r1.14 -r1.15
--- OpenXM/src/asir-doc/parts/builtin/misc.texi	2003/10/19 04:57:00	1.14
+++ OpenXM/src/asir-doc/parts/builtin/misc.texi	2003/10/21 05:16:35	1.15
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/misc.texi,v 1.13 2003/08/22 00:44:57 noro Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/misc.texi,v 1.14 2003/10/19 04:57:00 ohara Exp $
 \BJP
 @node $B$=$NB>(B,,, $BAH$_9~$_H!?t(B
 @section $B$=$NB>(B
@@ -85,7 +85,13 @@ off $B$N;~(B, $BF~NO$5$l$?IbF0>.?t$O(B, $BG\@:EYI
 @item verbose
 on $B$N;~(B, $BH!?t$N:FDj5A;~$K%a%C%;!<%8$rI=<($9$k(B. 
 @item quiet_mode
-1 $B$N$H$-(B, $B5/F0;~$KCx:n8"I=<($r9T$o$J$$(B.
+1 $B$N$H$-(B, $B5/F0;~$KCx:n8"I=<($r9T$o$J$$(B. 
+@xref{$B%3%^%s%I%i%$%s%*%W%7%g%s(B}.
+@item prompt
+0 $B$N$H$-%W%m%s%W%H$rI=<($7$J$$(B. 1 $B$N$H$-I8=`%W%m%s%W%H$rI=<((B.
+C $B%9%?%$%k$N%U%)%^%C%HJ8;zNs$r$b$A$$$k$H%f!<%6Dj5A$N%W%m%s%W%H(B.
+$BNc(B(asirgui $B$G$OIT2D(B): 
+@code{ ctrl("prompt",asciitostr([0x1b])+"[32m[%d]:= "+asciitostr([0x1b])+"[0m")}
 @item hex
 1 $B$N$H$-(B, $B@0?t$O(B 0x $B$G;O$^$k(B 16 $B?J?t$H$7$FI=<($5$l$k(B. -1 $B$N$H$-(B, 16 $B?J?t$O(B, 
 $B4V$K(B @samp{|} $B$r$O$5$s$G(B 8 $B7e$4$H$K6h@Z$C$FI=<($5$l$k(B. 
@@ -158,6 +164,12 @@ and as a result, the frequency of garbage collection d
 If `on' a warning messages is displayed when a function is redefined.
 @item quiet_mode
 If 1 is set, the copyright notice has been displayed at boot time.
+@item prompt
+If the value is 0, then prompt is not output.
+If the value is 1, then the standard prompt is output.
+Asir prompt can be customized by giving a C-style format string.
+Example (for unix asir);
+@code{ ctrl("prompt",asciitostr([0x1b])+"[32m[%d]:= "+asciitostr([0x1b])+"[0m")}
 @item hex
 If 1 is set, integers are displayed as hexadecimal numbers with prefix
 @code{0x}. if -1 is set, hexadecimal numbers are displayed with