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

changeset 345:f895642a8460

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag curret for changeset e0916a632971
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 13 Jul 2020 14:46:03 +0900
parents e0916a632971
children 06f10815d0b3
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Mon Jul 13 14:45:57 2020 +0900
+++ b/.hgtags	Mon Jul 13 14:46:03 2020 +0900
@@ -24,3 +24,4 @@
 4fcac1eebc74af8ce383aeb9efd3230eecab5136 current
 12071f79f3cf40f788031e4f5ba83f6dcdbc91a0 current
 fcc65e37e72b007ee32a72d5d9b9c82db77927da release
+e0916a6329710d1a3ca7208ca7dfd3f0171299f1 curret