===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/intro-eg.texi,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/asir-contrib/packages/doc/Attic/intro-eg.texi	1999/12/10 01:58:03	1.2
+++ OpenXM/src/asir-contrib/packages/doc/Attic/intro-eg.texi	2000/01/20 09:34:37	1.3
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/intro-eg.texi,v 1.1.1.1 1999/11/27 11:25:18 takayama Exp $
+@comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/intro-eg.texi,v 1.2 1999/12/10 01:58:03 takayama Exp $
 @node Introduction,,, Top
 @section Introduction
 
@@ -11,8 +11,8 @@ are read by loading the file @file{xm}.
 This document explains these interface functions for @code{asir}.
 
 As to technical details on the @code{OpenXM} protocols,
-see @file{openxxx.tex} at
-@file{$(OpenXM_HOME)/src/kxx}.
+see @file{openxm-eg.tex} at
+@file{$(OpenXM_HOME)/doc/OpenXM-specs}.
 
 Enjoy mathematics on your computer.
 
@@ -27,5 +27,7 @@ OpenXM Committers:
 @item Tamura, Yasushi    (Nov., 1998 -- : OpenMath proxy)
 @end table
 
+
+See @code{OpenXM/Copyright} for the copyright notice.