Makefileを修正
[YACASL2.git] / doc / yacasl2.texi
index ed90d7c..3c5ada1 100644 (file)
@@ -8,6 +8,9 @@
 @settitle YACASL2 - Linux上のCASL II処理系
 @firstparagraphindent none
 @paragraphindent 1
+@c @iftex
+@c @usedvipdfmx
+@c @end iftex
 @c %**end of header
 
 @copying
@@ -88,7 +91,7 @@ YACASL2は、LinuxやMac OS Xなど、UNIX系のOS上で動作します。現在
 @itemize @bullet
 
 @item
-Ubuntu Linux 10.10
+Ubuntu Linux 10.04
 
 @item
 Vine Linux 5.2
@@ -198,13 +201,13 @@ Hello, World!
 
 @example
 $ @kbd{make check}
-194 / 194 tests passed. Details in /home/kazubito/yacasl2/test/integra
+195 / 195 tests passed. Details in /home/username/yacasl2/test/integra
 tion/casl2/Test.log
 All tests are succeded.
-149 / 149 tests passed. Details in /home/kazubito/yacasl2/test/integra
+149 / 149 tests passed. Details in /home/username/yacasl2/test/integra
 tion/comet2/Test.log
 All tests are succeded.
-4 / 4 tests passed. Details in /home/kazubito/yacasl2/test/integration
+4 / 4 tests passed. Details in /home/username/yacasl2/test/integration
 /dumpword/Test.log
 All tests are succeded.
 @end example
@@ -283,7 +286,7 @@ $ @kbd{cat hello.casl}
 MAIN     START
          OUT     OBUF,LEN
          RET
-OBUF     DC      ’Hello, World!’
+OBUF     DC      'Hello, World!'
 LEN      DC      13
          END
 @end example
@@ -741,15 +744,19 @@ CASLファイルの内容を表示します。
 @item -t
 @itemx --trace
 @itemx --tracearithmetic
-プログラム実行中のレジスタの値を次の形式で表示します。@code{<値の10進数表現>}は符号の付いた10進数です。範囲は-32768から32767です。
+プログラム実行中のレジスタの値を次の形式で表示します。
 
 @example
-<PR値の16進数表現>: <レジスタ>: <値の10進数表現> = <値の16進数表現> = <値の2進数表現>[ ='文字']
+<PR値の16進数表現>: <レジスタ>: <値の10進数表現> =
+<値の16進数表現> = <値の2進数表現>[ ='文字']
 @end example
 
 @itemize
 @item
-@code{<PR値の16進数表現>}と@code{<値の16進数表現>}は、先頭に@code{#}が付いた4けたの16進数で表されます。範囲は、@code{#0000}から@code{#FFFF}です
+@code{<PR値の16進数表現>}と@code{<レジスタ>}、@code{<値の16進数表現>}は、4けたの16進数で表されます。@code{<PR値の16進数表現>}と@code{<値の16進数表現>}には、先頭に@code{#}が付きます。範囲は@code{#0000}から@code{#FFFF}です
+
+@item
+@code{<値の10進数表現>}は符号の付いた10進数です。範囲は-32768から32767です。
 
 @item
 @code{<値の2進数表現>}は、16けたの2進数で表されます。範囲は、@code{0000000000000000}から@code{1111111111111111}です