=================================================================== RCS file: /home/cvs/OpenXM/doc/issac2000/issac2000.tex,v retrieving revision 1.10 retrieving revision 1.12 diff -u -p -r1.10 -r1.12 --- OpenXM/doc/issac2000/issac2000.tex 2000/01/16 10:55:40 1.10 +++ OpenXM/doc/issac2000/issac2000.tex 2000/01/17 08:50:56 1.12 @@ -1,4 +1,4 @@ -%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.9 2000/01/15 12:18:42 takayama Exp $ +%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.11 2000/01/17 08:06:15 noro Exp $ %% You need acmconf.cls and flushend.sty to compile this file. %% They may be obtained from %% http://riksun.riken.go.jp/archives/tex-archive/macros/latex/contrib/supported/acmconf/ @@ -7,7 +7,7 @@ %% \CopyrightText{\copyright 2000, } \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{} \IfFileExists{epsfig.sty}{\usepackage{epsfig}}{} -\ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000} +\ConferenceName{ISSAC 2000, St. Andrews, UK, 2000} \ConferenceShortName{ISSAC2000} \def\OpenXM{{\rm OpenXM\ }} @@ -52,7 +52,7 @@ It is currently a collection of softwares {\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}, {\tt GNUPLOT}, {\tt Mathematica} interface, and {\tt OpenMath}/XML \cite{OpenMath} translator. -These are wrapped with the \OpenXM stackmachine +These are wrapped with the \OpenXM stack machine to connect each other. {\it Availability}: The OpenXM package is obtainable at \cite{openxm-web} from January 24, 2000.