--- a/paper/o2tex	Fri Jun 15 20:52:29 2012 +0900
+++ b/paper/o2tex	Fri Jun 15 21:36:31 2012 +0900
@@ -338,12 +338,12 @@
 	&Pick('>>', $file);
 	# center environment disturbes caption counter and label reference
 	$line =  <<"EOF";
-\begin{figure}[htb]
-\begin{center}
-\includegraphics[width=6cm]{${fig}}
-${caption}\end{center}
+\\begin{figure}[htb]
+\\begin{center}
+\\includegraphics[width=6cm]{${fig}}
+${caption}\\end{center}
 \\label{${alt}}
-\end{figure}
+\\end{figure}
 EOF
 	# print $fh "(fig.\\ref{$alt})\n";
 	print $fh $line;
@@ -368,12 +368,12 @@
         }
 	&Pick('>>', $file);
 	$line =  <<"EOF";
-\begin{figure}[htb]
-\begin{center}
-\includegraphics[width=6cm]{${fig}}
-${caption}\end{center}
+\\begin{figure}[htb]
+\\begin{center}
+\\includegraphics[width=6cm]{${fig}}
+${caption}\\end{center}
 \\label{${alt}}
-\end{figure}
+\\end{figure}
 EOF
 	# print $fh "(fig.\\ref{$alt})\n";
 	print $fh $line;
@@ -386,7 +386,8 @@
 	}
 	next line;
     } elsif (/\\epsfile\{.*file=([^{},]+)/ || 
-            /\\input(.*)/ || /\\include(.*)/) { 
+	     /\\includegraphics\{([^{},]+)\}/ || 	     
+            /\\input (.*)/ || /\\include (.*)/) { 
         $fig = $1;
 	&Pick('>>', $file) &&
 	    (print $fh $_);

--- a/paper/rectype.ind	Fri Jun 15 20:52:29 2012 +0900
+++ b/paper/rectype.ind	Fri Jun 15 21:36:31 2012 +0900
@@ -1,9 +1,7 @@
 -title: Recursive type syntax in Continuation based C
 
-\newcommand{\rectype}{{\tt \_\_rectype}}
-\newcommand{\code}{{\tt \_\_code}}
 
---author: Shinji Kono, Nobuyasu Oshiro
+-author: Shinji Kono, Nobuyasu Oshiro
 
 --abstract: 
 We have implemented Continuation based C (CbC).
@@ -40,13 +38,7 @@
 only, because it is sufficient to implement C to CbC translation. In this case,
 Code Segment has one input interface and several output interfaces (fig.\ref{code}).
 
-\begin{figure}[htb]
-\begin{center}
-\includegraphics[width=6cm]{figure/code.pdf}
-\caption{code}
-\end{center}
-\label{code}
-\end{figure}
+<center><img src="figure/code.pdf" alt="code"></center>
 
 
 \verb+__code+ and parameterized global goto statement is an extension of
@@ -221,28 +213,28 @@
 Third, to override AST(\ref{fig:tree2}).
 
 \begin{figure}[htpb]
-  \begin{minipage}{0.5\hsize}
-  \begin{center}
+\begin{minipage}{0.5\hsize}
+\begin{center}
 \scalebox{0.35}{\includegraphics{figure/tree1.pdf}}
-  \end{center}
-  \caption{AST of function pointer}
-  \label{fig:tree1}
-  \end{minipage}
-  \begin{minipage}{0.2\hsize}
-  \begin{center}
+\end{center}
+\caption{AST of function pointer}
+\label{fig:tree1}
+\end{minipage}
+\begin{minipage}{0.2\hsize}
+\begin{center}
 \scalebox{0.35}{\includegraphics{figure/tree2.pdf}}
-  \end{center}
-  \caption{AST of \rectype}
-  \label{fig:tree2}
+\end{center}
+\caption{AST of \rectype}
+\label{fig:tree2}
 \end{minipage}
 \end{figure}
 
 This AST(\ref{fig:tree2}) is made by syntax of \verb+__code csA(__rectype *p)+ .
-TREE_LIST have infomation of argument.
-First TREE_LIST represent that argument is function pointer(\verb+__code (*p)()+) .
-Second TREE_LIST represent that csA is Fixed-length argument.
-First TREE_LIST is connected with POINTER_TYPE.
-POINTER_TYPE have pointer of function(FUNCTION_TYPE).
+\treelist have infomation of argument.
+First \treelist represent that argument is function pointer(\verb+__code (*p)()+) .
+Second \treelist represent that csA is Fixed-length argument.
+First \treelist is connected with \pointertype.
+\pointertype have pointer of function(\functiontype).
 We have to override it in the pointer of csA.
 
 
@@ -285,7 +277,7 @@
 
  
 Variable t have information of p's argument.
-If t is POINTER_TYPE, t is assigned type of POINTER_TYPE(\verb+t = TREE_TYPE (t);+).
+If t is \pointertype, t is assigned type of \pointertype(\verb+t = TREE_TYPE (t);+).
 We have added code \verb+if (IS_RECTYPE(t)) return;+
 Thereby we have solved type checking and infinite recursion problem.