Mercurial > hg > Members > kono > Proof > ZF-in-agda

changeset 1212:3922fc5c6f9e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset f17d060e0bda
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 04 Mar 2023 11:39:52 +0900
parents f17d060e0bda
children 22de2d4f7271
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Sat Mar 04 11:39:46 2023 +0900
+++ b/.hgtags	Sat Mar 04 11:39:52 2023 +0900
@@ -44,3 +44,5 @@
 a92aacd3d83ab66c7300df09fa2275911df62e9d release
 7ec55b1bdfc21ea00b0a50dec94fd5c98bdf4207 current
 a9a7ad7784cce6542c9149ffefa55836af040ca5 current
+a9a7ad7784cce6542c9149ffefa55836af040ca5 current
+f17d060e0bda73243535600187794a94bb4db176 current