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

comparison .hgtags @ 357:d74a5a4df1b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removed tag curret
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 14 Jul 2020 11:19:48 +0900
parents 0f8083cfbf15
children 7476a22edf7e
comparison
equal deleted inserted replaced
356:0f8083cfbf15 357:d74a5a4df1b7
30 e277699923993f1bd91b34cb7c727725c96bc5f2 current 30 e277699923993f1bd91b34cb7c727725c96bc5f2 current
31 e277699923993f1bd91b34cb7c727725c96bc5f2 current 31 e277699923993f1bd91b34cb7c727725c96bc5f2 current
32 aa03b9c289c06dccca73b336770fe2868c6cf194 current 32 aa03b9c289c06dccca73b336770fe2868c6cf194 current
33 fcc65e37e72b007ee32a72d5d9b9c82db77927da release 33 fcc65e37e72b007ee32a72d5d9b9c82db77927da release
34 45fefbfd4871a5cf695955a4693d77ec8ae2b5f8 release 34 45fefbfd4871a5cf695955a4693d77ec8ae2b5f8 release
35 e0916a6329710d1a3ca7208ca7dfd3f0171299f1 curret
36 0000000000000000000000000000000000000000 curret