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

changeset 1086:9e8cb06f0aff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag release for changeset a92aacd3d83a
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Dec 2022 07:58:00 +0900
parents a92aacd3d83a
children 2fa98e3c0fa3 b627e3ea7266
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Sun Dec 18 07:57:54 2022 +0900
+++ b/.hgtags	Sun Dec 18 07:58:00 2022 +0900
@@ -40,3 +40,5 @@
 1150b006059bee88a0085739766000d1f93fb666 release
 a5f8084b8368d1d38ffe873530ab19d794badffe current
 7ec55b1bdfc21ea00b0a50dec94fd5c98bdf4207 current
+1150b006059bee88a0085739766000d1f93fb666 release
+a92aacd3d83ab66c7300df09fa2275911df62e9d release