http://www.cr.ie.u-ryukyu.ac.jp/hg/Applications/Lite/Applications/Lite: tagsApplications/Lite tag historyMercurial SCM2007-08-30T14:16:36+09:00iso-prologhttp://www.cr.ie.u-ryukyu.ac.jp/hg/Applications/Lite/#tag-07d6c4c5654b2efabfcd3e5df0c3515066f86ca62007-08-30T14:16:36+09:002007-08-30T14:16:36+09:00iso-prologlite-verifierhttp://www.cr.ie.u-ryukyu.ac.jp/hg/Applications/Lite/#tag-e1d3145cff7a542092a0c44d28fb36fbf1fd3bf52007-08-30T12:44:35+09:002007-08-30T12:44:35+09:00lite-verifierstarthttp://www.cr.ie.u-ryukyu.ac.jp/hg/Applications/Lite/#tag-c1e5614545ff1496c8003047743a602436a4d8172001-01-18T23:27:24+09:002001-01-18T23:27:24+09:00start