===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/sm.c,v
retrieving revision 1.13
retrieving revision 1.21
diff -u -p -r1.13 -r1.21
--- OpenXM/src/kan96xx/Kan/sm.c	2000/07/26 02:21:30	1.13
+++ OpenXM/src/kan96xx/Kan/sm.c	2003/08/21 12:30:15	1.21
@@ -1,10 +1,10 @@
-/* sm.c   $OpenXM: OpenXM/src/kan96xx/Kan/sm.c,v 1.12 2000/06/08 08:35:03 takayama Exp $ */
-#define DATE "2000/07/26"
-#define RELEASE "3.000726"    /* This "string" must be an increasing seq.*/
-                              /* You should write the same string in global.c
-			         VersionString for ox_sm1.
-				 Change also OxVersion in plugin/oxmisc.c
-				 if you install new openXM protocol.*/
+/* sm.c   $OpenXM: OpenXM/src/kan96xx/Kan/sm.c,v 1.20 2003/07/25 23:55:32 takayama Exp $ */
+#define DATE "2003/08/21"
+#define RELEASE "3.030821"    /* This "string" must be an increasing seq.*/
+/* You should write the same string in global.c
+                     VersionString for ox_sm1.
+                 Change also OxVersion in plugin/oxmisc.c
+                 if you install new openXM protocol.*/
 
 #include <stdio.h>
 #include "datatype.h"
@@ -17,7 +17,7 @@
                      bugfix : KdefaultPolyRing, hilbert.c
     Release 2.981123 bugfix : flush for solaris. bugfix : lockctrlCForOx().
     Release 2.981217 Rather stable release.
-    New project on CMO starts.                      		     
+    New project on CMO starts.                                   
 
 */
 
@@ -30,8 +30,8 @@ extern int Quiet;
 extern char *VersionString;
 
 main(argc,argv) 
-int argc;
-char *argv[];
+     int argc;
+     char *argv[];
 {
   int i;
   StandardMacros = 1;
@@ -39,35 +39,35 @@ char *argv[];
   if (argc > 1) {
     for (i=1; i<argc; i++) {
       if (strcmp(argv[i],"-standardmacros") == 0) {
-	StandardMacros = 0; /* disable of the standard macros */
+        StandardMacros = 0; /* disable of the standard macros */
       }else if (strcmp(argv[i],"-f") == 0) {
-	StartAFile = 1;
-	i++;
-	if (i >= argc) {
-	  fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
-	  fprintf(stderr,"3. sm1 -standardmacros\n");
-	  exit(15);
-	}
-	StartFile = argv[i];
+        StartAFile = 1;
+        i++;
+        if (i >= argc) {
+          fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
+          fprintf(stderr,"3. sm1 -standardmacros\n");
+          exit(15);
+        }
+        StartFile = argv[i];
       }else if (strcmp(argv[i],"-s") == 0) {
-	StartAString = 1;
-	i++;
-	if (i >= argc) {
-	  fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
-	  fprintf(stderr,"3. sm1 -standardmacros\n");
-	  fprintf(stderr,"4. sm1 -q  (quiet)\n");
-	  fprintf(stderr,"5. sm1 -s \"command strings\" \n");
-	  exit(15);
-	}
-	StartString = argv[i];
+        StartAString = 1;
+        i++;
+        if (i >= argc) {
+          fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
+          fprintf(stderr,"3. sm1 -standardmacros\n");
+          fprintf(stderr,"4. sm1 -q  (quiet)\n");
+          fprintf(stderr,"5. sm1 -s \"command strings\" \n");
+          exit(15);
+        }
+        StartString = argv[i];
       } else if (strcmp(argv[i],"-q") == 0) {
-	Quiet = 1;
+        Quiet = 1;
       }else{
-	fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
-	fprintf(stderr,"3. sm1 -standardmacros\n");
-	fprintf(stderr,"4. sm1 -q  (quiet)\n");
-	fprintf(stderr,"5. sm1 -s \"command strings\" \n");
-	exit(15);
+        fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
+        fprintf(stderr,"3. sm1 -standardmacros\n");
+        fprintf(stderr,"4. sm1 -q  (quiet)\n");
+        fprintf(stderr,"5. sm1 -s \"command strings\" \n");
+        exit(15);
       }
     }
   }
@@ -77,13 +77,13 @@ char *argv[];
   if (!Quiet) {
     fprintf(Fstack,"\n");
     fprintf(Fstack,"Kan/StackMachine1");
-    fprintf(Fstack,"                         1991 April --- 2000.\n");
+    fprintf(Fstack,"                         1991 April --- 2003.\n");
     fprintf(Fstack,"                              Release %s (C) N. Takayama\n",
-	    RELEASE);
-    fprintf(Fstack,"gc 4.14 (C) Boehm, Demers, GNU MP 2.0.2 (C) Free Software Foundation,\n");
-    fprintf(Fstack,"OpenXM (C) OpenXM developing team. \n");
+            RELEASE);
+    fprintf(Fstack,"gc 5.3 (C) Boehm, Demers, GNU MP 3.1.1 (C) Free Software Foundation,\n");
+    fprintf(Fstack,"OpenXM RFC100, 101, 103 (C) OpenXM developing team. \n");
     fprintf(Fstack,"This software may be freely distributed as is ");
-    fprintf(Fstack,"with no warranty expressed.\n");
+    fprintf(Fstack,"with no warranty expressed. \nSee OpenXM/Copyright/Copyright.generic\n");
     fprintf(Fstack,"Info: http://www.math.kobe-u.ac.jp/KAN, kan@math.kobe-u.ac.jp. ? for help.\n");
 #ifdef NOGC
     fprintf(Fstack,"No garbage collector is installed.\n");