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

changeset 1238:01fe64d3a17a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 54a63423f128
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 09 Mar 2023 12:31:32 +0900
parents 54a63423f128
children 5223f0b40d91
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Thu Mar 09 10:37:09 2023 +0900
+++ b/.hgtags	Thu Mar 09 12:31:32 2023 +0900
@@ -46,3 +46,5 @@
 a9a7ad7784cce6542c9149ffefa55836af040ca5 current
 a9a7ad7784cce6542c9149ffefa55836af040ca5 current
 f17d060e0bda73243535600187794a94bb4db176 current
+f17d060e0bda73243535600187794a94bb4db176 current
+54a63423f128673424b128a7a7ee1690e4fe797c current