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

comparison .hgtags @ 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 bfb5e807718b
children 9f926b2210bc fcc65e37e72b
comparison
equal deleted inserted replaced
285:313140ae5e3d 286:4ae48eed654a
17 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current 17 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
18 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current 18 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
19 29a85a427ed21beb9be068728f7c55a7070a0a9f current 19 29a85a427ed21beb9be068728f7c55a7070a0a9f current
20 29a85a427ed21beb9be068728f7c55a7070a0a9f current 20 29a85a427ed21beb9be068728f7c55a7070a0a9f current
21 d9d3654baee12c1b93a25a3994146bc001877b2b current 21 d9d3654baee12c1b93a25a3994146bc001877b2b current
22 d9d3654baee12c1b93a25a3994146bc001877b2b current
23 313140ae5e3d1793f8b2dc9055159658d63874e4 current