log

age author description
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