===================================================================
RCS file: /home/cvs/OpenXM/install.txt,v
retrieving revision 1.18
retrieving revision 1.20
diff -u -p -r1.18 -r1.20
--- OpenXM/install.txt	2001/12/21 00:33:49	1.18
+++ OpenXM/install.txt	2003/03/04 23:49:10	1.20
@@ -1,4 +1,4 @@
-%%  $OpenXM: OpenXM/install.txt,v 1.17 2001/12/20 04:52:07 takayama Exp $    
+%%  $OpenXM: OpenXM/install.txt,v 1.19 2002/08/03 07:05:48 takayama Exp $    
 
 The OpenXM package is a package of mathematical software systems.
 The OpenXM protocol provides an infrastructure for free, or open source
@@ -12,9 +12,9 @@ and
 These files will be generated from install.oxweave by 
    cd doc
    make
-in a source distribution.
+in the source distribution.
 
-As to Copyright notice, see the directory Copyright.
+As to the copyright notice, see the directory Copyright.
 
 -------- An instruction for a quick installation from the source code ---
 (cd OpenXM/src ; make configure ; make install)
@@ -29,6 +29,11 @@ As to Copyright notice, see the directory Copyright.
              You will get only asir (OpenXM version) and kan/sm1.
 (cd OpenXM/rc ; make install)
 
+-------------------------------------------
+Risa/Asir with asir-contrib is the main client system in the OpenXM project.
+You can start Risa/Asir by the command "asir".
+The manual of Risa/Asir and Asir-contrib can be found in the 
+OpenXM/doc directory and http://www.openxm.org