===================================================================
RCS file: /home/cvs/OpenXM/install.txt,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -p -r1.12 -r1.13
--- OpenXM/install.txt	1999/12/15 03:30:12	1.12
+++ OpenXM/install.txt	2000/01/18 12:29:09	1.13
@@ -1,6 +1,9 @@
-%%  $OpenXM: OpenXM/install.txt,v 1.11 1999/12/14 13:05:27 takayama Exp $    
+%%  $OpenXM: OpenXM/install.txt,v 1.12 1999/12/15 03:30:12 takayama Exp $    
 
-OpenXM is a package of mathematical softwares.
+The OpenXM package is a package of mathematical softwares.
+The OpenXM protocol provides a infrastructure for free, or open source
+mathematical softwares.
+
 As to installation procedures,
    see doc/install-eg.txt  in English
 and
@@ -9,6 +12,10 @@ and
 These files will be generated from install.oxweave by 
    cd doc
    make
+in a source distribution.
+
+As to Copyright notice, see the directory Copyright.
+