===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/usage.c,v
retrieving revision 1.9
retrieving revision 1.11
diff -u -p -r1.9 -r1.11
--- OpenXM/src/kan96xx/Kan/usage.c	2002/10/24 05:19:50	1.9
+++ OpenXM/src/kan96xx/Kan/usage.c	2002/11/10 07:00:05	1.11
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.8 2001/08/21 14:12:46 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.10 2002/11/04 10:53:56 takayama Exp $ */
 #include <stdio.h>
 #include "datatype.h"
 #include "stackm.h"
@@ -151,6 +151,7 @@ void Kusage2(fp,s)
     fppp(fp,"  [(forkExec) argList fdList sigblock] extension pid\n");
     fppp(fp,"  [(getchild)] extension listOfPid (generated by forkExec)\n");
     fppp(fp,"  [(keywords) ] extension array-of-names-of-primitives \n");
+    fppp(fp,"  [(nobody) ] extension null \n");
     fppp(fp,"  [(getUniqueFileName) path] extension newName \n");
     fppp(fp,"  [(outputObjectToFile) path obj] extension null \n");
     fppp(fp,"  [(ostype)] extension list \n");
@@ -466,6 +467,10 @@ void Kusage2(fp,s)
     fppp(fp,"                              The 4th differential operator.\n");
     fppp(fp,"         [(PrintDollar) 0] system_variable\n");
     fppp(fp,"                          Set the global variable PrintDollar to 0\n");
+  }else if (strcmp(s,"tlimit")==0) {
+    fppp(fp,"<< { ... } t tlimit results >>\n");
+    fppp(fp,"Limit the execution time to t seconds.\n");
+    fppp(fp,"When t is not positive, tlimit pushes the execution time.\n");
   }else if (strcmp(s,"to_records")==0) {
     fppp(fp,"<< ({arg1,arg2,...,argn})  to_records (arg1) ... (argn) n >>\n");
     fppp(fp,"Example: ({x,y2}) to_records ===> (x) (y2) 2\n");