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

comparison .hgtags @ 255:1eba96b7ab8d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 2ea2a19f9cd6
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 29 Aug 2019 16:17:02 +0900
parents cb6f025a991e
children 455792eaa611
comparison
equal deleted inserted replaced
254:2ea2a19f9cd6 255:1eba96b7ab8d
11 ecb329ba38ac904913313f2dd03ae2329039ffa6 current 11 ecb329ba38ac904913313f2dd03ae2329039ffa6 current
12 ecb329ba38ac904913313f2dd03ae2329039ffa6 current 12 ecb329ba38ac904913313f2dd03ae2329039ffa6 current
13 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current 13 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current
14 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current 14 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current
15 1b1620e2053cfc340a4df0d63de65b9059b19b6f current 15 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
16 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
17 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current