===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.9
retrieving revision 1.11
diff -u -p -r1.9 -r1.11
--- OpenXM/doc/install.oxweave	2000/01/20 08:21:50	1.9
+++ OpenXM/doc/install.oxweave	2000/01/20 12:55:32	1.11
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.8 2000/01/20 07:25:25 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.10 2000/01/20 09:06:08 takayama Exp $
 OpenXM/doc/install.oxweave
 
 /*&C
@@ -95,7 +95,7 @@ by /xxx/yyy/OpenXM.
 
 //&C 
 //&jp (4) asir の利用には  key が必要です.  以下のファイルを御覧ください.
-//&eg (5) You need key to use asir.  See the following file:
+//&eg (4) You need key to use asir.  See the following file:
 //&C OpenXM/lib/asir/asir_key
 //&C  
 
@@ -107,6 +107,7 @@ by /xxx/yyy/OpenXM.
    OpenXM/bin/ox_math,  OpenXM/bin/math2ox
    OpenXM/lib/java-support/ *
    Asir client functions:   m_* (Mathematica)  ,  om_*  (OpenMath)
+   OpenXM/bin/sm1, ox_sm1 on Linux libc6.
 */
 /*&C
 
@@ -119,8 +120,11 @@ OpenMath 用の OMproxy には現在のところ, jdk が必要です
 たとえば bash を利用している場合, .bashrc で
 PATH=/usr/local/jdk1.1.8/bin:$PATH
 export PATH
-などとして, jdk の javac をサーチパスの先のほうへもっていくようにして
+などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして
 ください.
+csh を利用している場合, .cshrc で
+set path=(/usr/local/jdk1.1.8/bin $path)
+として, jdk の java, javac をサーチパスにいれます.
 */
 /*&eg
 ***** JAVA
@@ -128,8 +132,11 @@ In order to use OMproxy, asir client om_*,
 you need to install JDK.
 The bin dir of the JDK must be in yur search path.
 For example, you need to add the following line
-to your .chsrc
+to your .chsrc when your shell is csh
 set path=(/usr/local/jdk1.1.8/bin $path)
+Bash users put the following line to .bashrc
+PATH=/usr/local/jdk1.1.8/bin:$PATH
+export PATH
 */
 
 /*&C
@@ -148,13 +155,14 @@ set path=(/usr/local/jdk1.1.8/bin $path)
 */
 /*&C
 
-OS:  FreeBSD 3.3,  
-     Linux systems (Plamo Linux on Linux 2.0.33, glibc5,   )
+OS:  FreeBSD 3.3 (Intel CPU),  
+     Linux systems (Intel CPU):
+         Plamo Linux on Linux 2.0.33, glibc5,  
 
      X window system is required.
 
      Most part of the OpenXM package may work on other versions of 
-     FreeBSD and Linux, but we have not yet tested.
+     FreeBSD 3.x and Linux, but we have not yet tested.
 
 */
 /*&jp