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

comparison .hgtags @ 278:bfb5e807718b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset d9d3654baee1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 09 May 2020 09:40:18 +0900
parents 455792eaa611
children 4ae48eed654a
comparison
equal deleted inserted replaced
277:d9d3654baee1 278:bfb5e807718b
15 1b1620e2053cfc340a4df0d63de65b9059b19b6f current 15 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
16 1b1620e2053cfc340a4df0d63de65b9059b19b6f current 16 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
17 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current 17 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
18 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current 18 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
19 29a85a427ed21beb9be068728f7c55a7070a0a9f current 19 29a85a427ed21beb9be068728f7c55a7070a0a9f current
20 29a85a427ed21beb9be068728f7c55a7070a0a9f current
21 d9d3654baee12c1b93a25a3994146bc001877b2b current