===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/ext.c,v
retrieving revision 1.43
retrieving revision 1.46
diff -u -p -r1.43 -r1.46
--- OpenXM/src/kan96xx/Kan/ext.c	2012/12/23 01:27:54	1.43
+++ OpenXM/src/kan96xx/Kan/ext.c	2013/09/25 00:05:55	1.46
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/ext.c,v 1.42 2010/08/30 04:17:17 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/ext.c,v 1.45 2013/09/22 01:32:10 takayama Exp $ */
 #include <stdio.h>
 #include <string.h>
 #include <sys/types.h>
@@ -7,6 +7,8 @@
 #include <stdlib.h>
 #include <unistd.h>
 #include <sys/wait.h>
+#include <sys/time.h>
+#include <time.h>
 #include "datatype.h"
 #include "stackm.h"
 #include "extern.h"
@@ -107,6 +109,7 @@ struct object Kextension(struct object obj)
   char *abc;
   char *abc2;
   extern struct context *CurrentContextp;
+  struct timeval tm;
 #if (__CYGWIN__)
   extern sigjmp_buf EnvOfStackMachine;
 #else
@@ -177,6 +180,10 @@ struct object Kextension(struct object obj)
         else {
         system(KopString(getoa(obj,1))); exit(0);
         } */
+  }else if (strcmp(key,"date")==0) {
+    if (size != 1) errorKan1("%s\n","[(date)] extension.");
+    gettimeofday(&tm,NULL);
+    rob = KpoString(ctime((time_t *)&(tm.tv_sec)));
   }else if (strcmp(key,"defaultPolyRing")==0) {
     if (size != 2) errorKan1("%s\n","[(defaultPolyRing) n] extension.");
     rob = KdefaultPolyRing(getoa(obj,1));