===================================================================
RCS file: /home/cvs/OpenXM/doc/calc2000p/func2.tex,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/doc/calc2000p/func2.tex	2000/07/20 05:58:00	1.2
+++ OpenXM/doc/calc2000p/func2.tex	2000/07/20 07:05:29	1.3
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/calc2000p/func2.tex,v 1.1 2000/07/20 04:43:55 takayama Exp $
+% $OpenXM: OpenXM/doc/calc2000p/func2.tex,v 1.2 2000/07/20 05:58:00 takayama Exp $
 \documentclass[twocolumn]{article}
 \usepackage{color}
 \usepackage{epsfig}
@@ -122,10 +122,8 @@ Finding test sets for integer program),
 
 \noindent
 {\footnotesize \begin{verbatim}
-[287] phc(katsura(7));
-[290] B=map(first,Phc)$
-[291] gnuplot_plotDots([],0)$
-[292] gnuplot_plotDots(B,0)$
+[287] phc(katsura(7)); B=map(first,Phc)$
+[291] gnuplot_plotDots(B,0)$
 \end{verbatim} }
 
 \epsfxsize=3cm
@@ -140,7 +138,7 @@ Finding test sets for integer program),
 \medbreak
 \noindent
 \fbox{ {\color{green} Authors}}
-Castro-Jim\'enez, Doltman, Hubert, Noro, Oaku, Okutani, 
-Sturm, Takayama, Tamura, Verschelde.
+Castro-Jim\'enez, Doltman, Hubert, Murao, Noro, Oaku, Okutani, 
+Shimoyama, Sturm, Takayama, Tamura, Verschelde, Yokoyama.
 
 \end{document}
\ No newline at end of file