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

changeset 275:455792eaa611

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 29a85a427ed2
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 25 Apr 2020 15:09:17 +0900
parents 29a85a427ed2
children 6f10c47e4e7a
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Sat Apr 25 15:09:07 2020 +0900
+++ b/.hgtags	Sat Apr 25 15:09:17 2020 +0900
@@ -15,3 +15,5 @@
 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
+2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
+29a85a427ed21beb9be068728f7c55a7070a0a9f current