===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v
retrieving revision 1.9
retrieving revision 1.11
diff -u -p -r1.9 -r1.11
--- OpenXM/src/asir-doc/exp/exp-ja.texi	2004/06/27 10:08:56	1.9
+++ OpenXM/src/asir-doc/exp/exp-ja.texi	2004/06/30 09:30:44	1.11
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.8 2004/06/23 08:52:18 takayama Exp $
+%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.10 2004/06/27 17:44:55 ohara Exp $
 \input texinfo
 @iftex
 @catcode`@#=6
@@ -457,15 +457,15 @@ Sugar strategy を適用するときの weight vector. 
  dp_gr_main $B$N?7$7$$%$%s%?%U%'!<%9$G$O=g=x$r$"$kJ8K!$K=>$$;XDj$9$k.
 @comment  ~taka/this03/misc-2003/A2/dp
 @item 順序 order は次の文法で定義する.  @{, @} は 0 回以上の繰り返しを意味する.
-@verbatim
+@example
   order         : '[' orderElement { ',' orderElement } ']'
   orderElement   :  weightVec | builtinOrder
   weightVec     : '[' weightElement { ',' weightElement } ']'
   builtiniOrder : '[' orderName  ',' setOfVariables ']'
   weightElement :   NUMBER | setOfVariables ',' NUMBER
   setOfVariables:  V | range(V,V)
-  orderName    : @grlex | @glex | @lex
-@end verbatim
+  orderName    : @@grlex | @@glex | @@lex
+@end example
 ここで @code{V} は 変数名, @code{NUMBER} は整数をあわらす.
 例1:  @code{v=[x,y,z,u,v], order=[[x,10,y,5,z,1],[@@grlex,range(x,v)]]}
 は @code{x},@code{y},@code{z} がそれぞれ weight 10, 5, 1 をもつ
@@ -520,11 +520,6 @@ Gr\"obner Deformations of Hypergeometric Differential 
 [-y^4+y^2-1,x+y^3-y]
 @end example
 
-@table @t
-@item 参照
-@ref{xyz_abc}
-@end table
-
 @comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
 @noindent
 ChangeLog
@@ -575,7 +570,7 @@ parse/parse.h 1.23--1.26
 @itemize @bullet
 @item
 asir-port.sh は knoppix 専用である.
-このコマンドは asir のバイナリおよび FFL で配布できない部分を
+このコマンドは asir のバイナリおよび FLL で配布できない部分を
  ftp.math.kobe-u.ac.jp よりダウンロードして
 /home/knoppix/.asir-tmp へセーブして, 実行する.
 .asirrc および .TeXmacs/plugins/ox/progs/init-ox.scm もダウンロードする.
@@ -921,8 +916,8 @@ builtin/dp.c 1.49
 @example
 [219] mapat(deg,1,x^2+y^3+x+y,[x,y]);
 [2,3]
-[220] mapat(subst,1,x+y+z,[x,y,z],2) 
-[y+z+1,x+z+1,x+y+1]
+[220] mapat(subst,1,x+y+z,[x,y,z],2);
+[y+z+2,x+z+2,x+y+2]
 @end example
 
 @table @t