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

changeset 1085:a92aacd3d83a release

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 7ec55b1bdfc2
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Dec 2022 07:57:54 +0900
parents 7ec55b1bdfc2
children 9e8cb06f0aff
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Sun Dec 18 02:04:45 2022 +0900
+++ b/.hgtags	Sun Dec 18 07:57:54 2022 +0900
@@ -38,3 +38,5 @@
 a5f8084b8368d1d38ffe873530ab19d794badffe current
 45fefbfd4871a5cf695955a4693d77ec8ae2b5f8 release
 1150b006059bee88a0085739766000d1f93fb666 release
+a5f8084b8368d1d38ffe873530ab19d794badffe current
+7ec55b1bdfc21ea00b0a50dec94fd5c98bdf4207 current