Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison .hgtags @ 356:0f8083cfbf15
Added tag release for changeset 45fefbfd4871
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 14 Jul 2020 11:17:38 +0900 |
parents | 45fefbfd4871 |
children | d74a5a4df1b7 |
comparison
equal
deleted
inserted
replaced
355:45fefbfd4871 | 356:0f8083cfbf15 |
---|---|
28 e0916a6329710d1a3ca7208ca7dfd3f0171299f1 curret | 28 e0916a6329710d1a3ca7208ca7dfd3f0171299f1 curret |
29 12071f79f3cf40f788031e4f5ba83f6dcdbc91a0 current | 29 12071f79f3cf40f788031e4f5ba83f6dcdbc91a0 current |
30 e277699923993f1bd91b34cb7c727725c96bc5f2 current | 30 e277699923993f1bd91b34cb7c727725c96bc5f2 current |
31 e277699923993f1bd91b34cb7c727725c96bc5f2 current | 31 e277699923993f1bd91b34cb7c727725c96bc5f2 current |
32 aa03b9c289c06dccca73b336770fe2868c6cf194 current | 32 aa03b9c289c06dccca73b336770fe2868c6cf194 current |
33 fcc65e37e72b007ee32a72d5d9b9c82db77927da release | |
34 45fefbfd4871a5cf695955a4693d77ec8ae2b5f8 release |