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

comparison .hgtags @ 231:cb6f025a991e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 1b1620e2053c
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 12 Aug 2019 08:59:55 +0900
parents 0a1804cc9d0a
children 1eba96b7ab8d
comparison
equal deleted inserted replaced
230:1b1620e2053c 231:cb6f025a991e
9 b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current 9 b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current
10 b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current 10 b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current
11 ecb329ba38ac904913313f2dd03ae2329039ffa6 current 11 ecb329ba38ac904913313f2dd03ae2329039ffa6 current
12 ecb329ba38ac904913313f2dd03ae2329039ffa6 current 12 ecb329ba38ac904913313f2dd03ae2329039ffa6 current
13 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current 13 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current
14 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current
15 1b1620e2053cfc340a4df0d63de65b9059b19b6f current