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

changeset 1103:8df83228d148

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset a9a7ad7784cc
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 29 Dec 2022 10:58:42 +0900
parents a9a7ad7784cc
children 81b859b678a8
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Thu Dec 29 10:54:03 2022 +0900
+++ b/.hgtags	Thu Dec 29 10:58:42 2022 +0900
@@ -42,3 +42,5 @@
 7ec55b1bdfc21ea00b0a50dec94fd5c98bdf4207 current
 1150b006059bee88a0085739766000d1f93fb666 release
 a92aacd3d83ab66c7300df09fa2275911df62e9d release
+7ec55b1bdfc21ea00b0a50dec94fd5c98bdf4207 current
+a9a7ad7784cce6542c9149ffefa55836af040ca5 current