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

changeset 286:4ae48eed654a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 313140ae5e3d
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 10 May 2020 09:25:18 +0900
parents 313140ae5e3d
children 5de8905a5a2b 359402cc6c3d
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Sun May 10 09:25:13 2020 +0900
+++ b/.hgtags	Sun May 10 09:25:18 2020 +0900
@@ -19,3 +19,5 @@
 29a85a427ed21beb9be068728f7c55a7070a0a9f current
 29a85a427ed21beb9be068728f7c55a7070a0a9f current
 d9d3654baee12c1b93a25a3994146bc001877b2b current
+d9d3654baee12c1b93a25a3994146bc001877b2b current
+313140ae5e3d1793f8b2dc9055159658d63874e4 current