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

comparison .hgtags @ 289:9f926b2210bc release

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 4fcac1eebc74
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 07 Jun 2020 20:35:14 +0900
parents 4ae48eed654a
children ba3ebb9a16c6
comparison
equal deleted inserted replaced
288:4fcac1eebc74 289:9f926b2210bc
19 29a85a427ed21beb9be068728f7c55a7070a0a9f current 19 29a85a427ed21beb9be068728f7c55a7070a0a9f current
20 29a85a427ed21beb9be068728f7c55a7070a0a9f current 20 29a85a427ed21beb9be068728f7c55a7070a0a9f current
21 d9d3654baee12c1b93a25a3994146bc001877b2b current 21 d9d3654baee12c1b93a25a3994146bc001877b2b current
22 d9d3654baee12c1b93a25a3994146bc001877b2b current 22 d9d3654baee12c1b93a25a3994146bc001877b2b current
23 313140ae5e3d1793f8b2dc9055159658d63874e4 current 23 313140ae5e3d1793f8b2dc9055159658d63874e4 current
24 313140ae5e3d1793f8b2dc9055159658d63874e4 current
25 4fcac1eebc74af8ce383aeb9efd3230eecab5136 current