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

changeset 1299:054c2b0925c4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 2c34f2b554cf
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 03 Jun 2023 17:31:28 +0900
parents 2c34f2b554cf
children 47d3cc596d68
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Sat Jun 03 17:31:17 2023 +0900
+++ b/.hgtags	Sat Jun 03 17:31:28 2023 +0900
@@ -48,3 +48,5 @@
 f17d060e0bda73243535600187794a94bb4db176 current
 f17d060e0bda73243535600187794a94bb4db176 current
 54a63423f128673424b128a7a7ee1690e4fe797c current
+54a63423f128673424b128a7a7ee1690e4fe797c current
+2c34f2b554cf81c9d17751fa7317445c635bc5fa current