Fri, 22 Apr 2016 16:47:13 +0900 |
Shinji KONO |
newer CVS version
default tip
|
Fri, 07 Nov 2008 20:36:40 +0000 |
convert-repo |
update tags
|
Thu, 30 Aug 2007 14:16:36 +0900 |
kono |
SICStus v4 (ISO prolog syntax)
iso-prolog
|
Thu, 30 Aug 2007 12:44:35 +0900 |
kono |
*** empty log message ***
lite-verifier
|
Sun, 21 Jan 2001 10:21:43 +0900 |
kono |
*** empty log message ***
|
Sun, 21 Jan 2001 10:21:24 +0900 |
kono |
*** empty log message ***
|
Sun, 21 Jan 2001 00:51:10 +0900 |
kono |
strange...
|
Sat, 20 Jan 2001 21:21:44 +0900 |
kono |
fix true - omega interval satisfiability
|
Sat, 20 Jan 2001 20:47:00 +0900 |
kono |
*** empty log message ***
|
Sat, 20 Jan 2001 18:14:58 +0900 |
kono |
*** empty log message ***
|
Sat, 20 Jan 2001 07:42:29 +0900 |
kono |
*** empty log message ***
|
Sat, 20 Jan 2001 02:16:19 +0900 |
kono |
*** empty log message ***
|
Fri, 19 Jan 2001 23:14:00 +0900 |
kono |
add state display.
|
Fri, 19 Jan 2001 20:37:32 +0900 |
kono |
some how infinite.pl works first.
|
Fri, 19 Jan 2001 20:05:42 +0900 |
kono |
*** empty log message ***
|
Fri, 19 Jan 2001 17:21:47 +0900 |
kono |
*** empty log message ***
|
Fri, 19 Jan 2001 09:16:27 +0900 |
kono |
*** empty log message ***
|
Fri, 19 Jan 2001 04:25:07 +0900 |
kono |
*** empty log message ***
|
Fri, 19 Jan 2001 02:03:27 +0900 |
kono |
*** empty log message ***
|
Thu, 18 Jan 2001 23:27:24 +0900 |
kono |
Created directory structure
tokio start
|
Thu, 18 Jan 2001 23:27:24 +0900 |
kono |
Initial revision
|
Sun, 22 Mar 1998 12:22:28 +0900 |
kono |
*** empty log message ***
|
Sat, 16 Sep 1995 12:20:45 +0900 |
kono |
Initial revision
|