===================================================================
RCS file: /home/cvs/OpenXM/doc/ascm2001p/design-outline.tex,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/doc/ascm2001p/design-outline.tex	2001/06/19 07:32:58	1.1
+++ OpenXM/doc/ascm2001p/design-outline.tex	2001/06/20 02:09:45	1.2
@@ -1,4 +1,4 @@
-% $OpenXM$
+% $OpenXM: OpenXM/doc/ascm2001p/design-outline.tex,v 1.1 2001/06/19 07:32:58 noro Exp $
 
 \section{Design Outline and OpenXM Request for Comments (OpenXM-RFC)} 
 
@@ -24,7 +24,7 @@ and a method to interrupt computations on servers from
 RPC, HTTP, MPI, PVM are regarded as a general purpose control protocols or
 infrastructures.
 MCP (Mathematical Communication Protocol)
-by Wang \cite{iamc} is such a protocol for mathematics.
+by Wang \cite{iamc} and OMEI \cite{omei} are such protocols for mathematics.
 
 Although data and control are orthogonal to each other,
 real world requires both.
@@ -75,9 +75,9 @@ These are usually ``expert'' systems in one area of ma
 such as ideals, groups, numbers, polytopes, and so on.
 They have their own interfaces and data formats,
 which are fine for intensive users of these systems.
-However, a unified system will be more convenient
-for users who want to explore a new area of mathematics with these
-software or users who need these systems only occasionally.
+However, a unified system will be more convenient.
+%for users who want to explore a new area of mathematics with these
+%software or users who need these systems only occasionally.
 
 \item  We believe that an open integrated system is a future of mathematical
 software.