===================================================================
RCS file: /home/cvs/OpenXM/doc/oxlib/README,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/doc/oxlib/README	2000/03/17 02:04:08	1.1
+++ OpenXM/doc/oxlib/README	2000/03/17 12:49:29	1.2
@@ -1,9 +1,12 @@
-$OpenXM$
+$OpenXM: OpenXM/doc/oxlib/README,v 1.1 2000/03/17 02:04:08 takayama Exp $
 
 This directory contains samples on OpenXM/library mode interface.
 For example, you can factor a given multivariable polynomial
-over Q or algebraic numbers by linking libasir.a.
+over Q or algebraic numbers by linking OpenXM/lib/libasir.a.
 Details on the OpenXM/library mode interface is explained in
+Appendix A, OpenXM/doc/asir2000/man-eg.dvi (in English)
+Appendix A, OpenXM/doc/asir2000/man-jp.dvi (in Japanese)
+and
 OpenXM/doc/OpenXM-specs/OpenXM-eg.dvi (in English) or
 OpenXM/doc/OpenXM-specs/OpenXM-jp.dvi (in Japanese).