Mercurial > hg > Members > kono > Proof > ZF-in-agda
diff .hgtags @ 275:455792eaa611
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 | 1eba96b7ab8d |
children | bfb5e807718b |
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