===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/issac2000.tex,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/doc/issac2000/issac2000.tex	2000/01/02 07:32:12	1.2
+++ OpenXM/doc/issac2000/issac2000.tex	2000/01/03 04:27:52	1.3
@@ -1,4 +1,4 @@
-%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.1 1999/12/23 10:25:08 takayama Exp $
+%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.2 2000/01/02 07:32:12 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/
@@ -8,7 +8,7 @@
 \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{}
 \ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000}
 \ConferenceShortName{ISSAC2000}
-\def\OpenXM{{\tt OpenXM\ }}
+\def\OpenXM{{\rm OpenXM\ }}
 
 \begin{document}
 \date{January 16, 2000}
@@ -41,14 +41,6 @@
 \maketitle
 
 \begin{abstract}
-  This is an abstract.
-\end{abstract}
-
-\begin{keywords}
-OpenMath, MP, OpenXM. 
-\end{keywords}
-
-\section{Introduction}
 \OpenXM is a free, or Open Source, infrastructure for mathematical
 softwares.
 It provides methods and protocols 
@@ -61,6 +53,16 @@ It is currently a collection of softwares
 More and more softwares are wrapped with the \OpenXM stackmachine;
 they are getting a member of \OpenXM package. \\
 {\it Availability}: The OpenXM package is obtainable from \cite{openxm-web}.
+\end{abstract}
+
+\begin{keywords}
+Asir,
+IAMC, Interactive Distributed Computation, 
+Integration of Mathematical Softwares,
+MP, OpenMath, OpenXM. 
+\end{keywords}
+
+%\section{Introduction}
 
 \input{design-outline}