view .hgtags @ 22:29cf617f49db default tip

newer CVS version
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 22 Apr 2016 16:47:13 +0900
parents 8fb7b6f55b7e
children
line wrap: on
line source

07d6c4c5654b2efabfcd3e5df0c3515066f86ca6 iso-prolog
c1e5614545ff1496c8003047743a602436a4d817 start
e1d3145cff7a542092a0c44d28fb36fbf1fd3bf5 lite-verifier