log

age author description
2016-04-22 Shinji KONO newer CVS version default tip
2008-11-07 convert-repo update tags
2007-08-30 kono SICStus v4 (ISO prolog syntax) iso-prolog
2007-08-30 kono *** empty log message *** lite-verifier
2001-01-21 kono *** empty log message ***
2001-01-21 kono *** empty log message ***
2001-01-20 kono strange...
2001-01-20 kono fix true - omega interval satisfiability
2001-01-20 kono *** empty log message ***
2001-01-20 kono *** empty log message ***
2001-01-19 kono *** empty log message ***
2001-01-19 kono *** empty log message ***
2001-01-19 kono add state display.
2001-01-19 kono some how infinite.pl works first.
2001-01-19 kono *** empty log message ***
2001-01-19 kono *** empty log message ***
2001-01-19 kono *** empty log message ***
2001-01-18 kono *** empty log message ***
2001-01-18 kono *** empty log message ***
2001-01-18 kono Created directory structure tokio start
2001-01-18 kono Initial revision
1998-03-22 kono *** empty log message ***
1995-09-16 kono Initial revision