===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw	2008/06/04 01:46:52	1.2
+++ OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw	2010/02/06 00:50:32	1.3
@@ -1,4 +1,4 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.1 2005/04/13 23:50:17 takayama Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.2 2008/06/04 01:46:52 takayama Exp $ */
 
 /*&C
 @c DO NOT EDIT THIS FILE   
@@ -18,6 +18,10 @@
 計算代数幾何のいろいろな不変量の計算が微分作用素の計算に帰着する.
 @code{sm1} についての文書は @code{OpenXM/doc/kan96xx} にある.
 
+なお, sm1 server windows 版はバイナリ配布していない.
+cygwin 環境でソースコードからコンパイルし, OpenXM/misc/packages/Windows
+に従い変更を加えると sm1 サーバはwindows でも動作する.
+
 とこに断りがないかぎりこの節のすべての関数は,
 有理数係数の式を入力としてうけつけない.
 すべての多項式の係数は整数でないといけない.
@@ -48,6 +52,10 @@ in the computational algebraic geometry reduce
 to constructions in the ring of differential operators.
 Documents on @code{sm1} are in
 the directory @code{OpenXM/doc/kan96xx}.
+
+The sm1 server for windows is not distributed in the binary form. 
+If you need to run it, compile it under the cygwin environment
+following the Makefile in OpenXM/misc/packages/Windows.
 
 All the coefficients of input polynomials should be
 integers for most functions in this section.