===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/asir.texi,v
retrieving revision 1.19
retrieving revision 1.20
diff -u -p -r1.19 -r1.20
--- OpenXM/src/asir-doc/parts/asir.texi	2014/03/11 01:46:19	1.19
+++ OpenXM/src/asir-doc/parts/asir.texi	2020/09/08 09:16:57	1.20
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/asir.texi,v 1.18 2005/07/25 12:23:05 takayama Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/asir.texi,v 1.19 2014/03/11 01:46:19 takayama Exp $
 \BJP
 @node ユーザ言語 Asir,,, Top
 @chapter ユーザ言語 Asir
@@ -402,9 +402,9 @@ each element is again a vector which contains
 ${_I}C_J$
 @end tex
 @end iftex
-@ifinfo
+@ifnottex
 ICJ
-@end ifinfo
+@end ifnottex
 \JP を要素とする配列である. 
 \EG as its elements.