===================================================================
RCS file: /home/cvs/OpenXM/src/kxx/Attic/issac2000.tex,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/kxx/Attic/issac2000.tex	1999/12/14 09:31:40	1.1
+++ OpenXM/src/kxx/Attic/issac2000.tex	1999/12/15 10:47:53	1.2
@@ -1,4 +1,4 @@
-%$OpenXM$
+%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.1 1999/12/14 09:31:40 takayama 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,8 +7,8 @@
 \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{}
 \ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000}
 \ConferenceShortName{ISSAC2000}
+\def\OpenXM{{\tt OpenXM}}
 
-
 \begin{document}
 \date{January 16, 2000}
 \title{OpenXM 
@@ -48,6 +48,18 @@ OpenMath, MP, OpenXM. 
 \end{keywords}
 
 \section{Introduction}
+\OpenXM is a free, or Open Source, infrastructure for mathematical
+softwares.
+It provides methods and protocols 
+to integrate various mathematical softwares.
+\OpenXM package is a set of softwares that supports \OpenXM protocols.
+It is currently a collection of softwares
+{\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{sm1}, {\tt PHC} pack, {\tt GNUPLOT},
+{\tt Mathematica} interface, and
+{\tt OpenMath} interface. 
+More and more softwares are wrapped with the \OpenXM stackmachine;
+they are getting a member of \OpenXM package.
+
 
 \section{Design outline}