# HG changeset patch
# User convert-repo
# Date 1226090200 0
# Node ID 8fb7b6f55b7e88370c85a1c8882bc5d90732d865
# Parent  07d6c4c5654b2efabfcd3e5df0c3515066f86ca6
update tags

diff -r 07d6c4c5654b -r 8fb7b6f55b7e .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Fri Nov 07 20:36:40 2008 +0000
@@ -0,0 +1,3 @@
+07d6c4c5654b2efabfcd3e5df0c3515066f86ca6 iso-prolog
+c1e5614545ff1496c8003047743a602436a4d817 start
+e1d3145cff7a542092a0c44d28fb36fbf1fd3bf5 lite-verifier