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

annotate .hgtags @ 403:ce2ce3f62023

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 28 Jul 2020 10:51:08 +0900
parents d74a5a4df1b7
children 7476a22edf7e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
48
4fb2a239061d Added tag current for changeset 264784731a67
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 264784731a67c6781c7aa95f24feabe5c38629ea current
67
94c796aee319 Added tag current for changeset 92a11dc6425c
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 48
diff changeset
2 264784731a67c6781c7aa95f24feabe5c38629ea current
94c796aee319 Added tag current for changeset 92a11dc6425c
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 48
diff changeset
3 92a11dc6425c89c9a19c6377571db0755c71492e current
92
ef0dfc4b97fd Added tag current for changeset b4742cf4ef97
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 67
diff changeset
4 92a11dc6425c89c9a19c6377571db0755c71492e current
ef0dfc4b97fd Added tag current for changeset b4742cf4ef97
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 67
diff changeset
5 b4742cf4ef978434d98a6f0a2f891a944dea5906 current
101
52a82415dfc8 Added tag current for changeset a402881cc341
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 92
diff changeset
6 b4742cf4ef978434d98a6f0a2f891a944dea5906 current
52a82415dfc8 Added tag current for changeset a402881cc341
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 92
diff changeset
7 a402881cc341fb6499f60bd0f55795dbef5efc70 current
163
61c60fef6a85 Added tag current for changeset b06f5d2f34b1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 101
diff changeset
8 a402881cc341fb6499f60bd0f55795dbef5efc70 current
61c60fef6a85 Added tag current for changeset b06f5d2f34b1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 101
diff changeset
9 b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current
177
e75fad60cf8c Added tag current for changeset ecb329ba38ac
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 163
diff changeset
10 b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current
e75fad60cf8c Added tag current for changeset ecb329ba38ac
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 163
diff changeset
11 ecb329ba38ac904913313f2dd03ae2329039ffa6 current
212
0a1804cc9d0a Added tag current for changeset 2c7d45734e3b
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 177
diff changeset
12 ecb329ba38ac904913313f2dd03ae2329039ffa6 current
0a1804cc9d0a Added tag current for changeset 2c7d45734e3b
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 177
diff changeset
13 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current
231
cb6f025a991e Added tag current for changeset 1b1620e2053c
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 212
diff changeset
14 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current
cb6f025a991e Added tag current for changeset 1b1620e2053c
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 212
diff changeset
15 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
255
1eba96b7ab8d Added tag current for changeset 2ea2a19f9cd6
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 231
diff changeset
16 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
1eba96b7ab8d Added tag current for changeset 2ea2a19f9cd6
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 231
diff changeset
17 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
275
455792eaa611 Added tag current for changeset 29a85a427ed2
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 255
diff changeset
18 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
455792eaa611 Added tag current for changeset 29a85a427ed2
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 255
diff changeset
19 29a85a427ed21beb9be068728f7c55a7070a0a9f current
278
bfb5e807718b Added tag current for changeset d9d3654baee1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 275
diff changeset
20 29a85a427ed21beb9be068728f7c55a7070a0a9f current
bfb5e807718b Added tag current for changeset d9d3654baee1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 275
diff changeset
21 d9d3654baee12c1b93a25a3994146bc001877b2b current
286
4ae48eed654a Added tag current for changeset 313140ae5e3d
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 278
diff changeset
22 d9d3654baee12c1b93a25a3994146bc001877b2b current
4ae48eed654a Added tag current for changeset 313140ae5e3d
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 278
diff changeset
23 313140ae5e3d1793f8b2dc9055159658d63874e4 current
289
9f926b2210bc Added tag current for changeset 4fcac1eebc74
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 286
diff changeset
24 313140ae5e3d1793f8b2dc9055159658d63874e4 current
332
fcc65e37e72b Added tag current for changeset 12071f79f3cf
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 286
diff changeset
25 4fcac1eebc74af8ce383aeb9efd3230eecab5136 current
fcc65e37e72b Added tag current for changeset 12071f79f3cf
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 286
diff changeset
26 12071f79f3cf40f788031e4f5ba83f6dcdbc91a0 current
333
214a087c78a5 Added tag release for changeset fcc65e37e72b
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 332
diff changeset
27 fcc65e37e72b007ee32a72d5d9b9c82db77927da release
345
f895642a8460 Added tag curret for changeset e0916a632971
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 333
diff changeset
28 e0916a6329710d1a3ca7208ca7dfd3f0171299f1 curret
353
e4b7485b0b17 Added tag current for changeset e27769992399
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 345
diff changeset
29 12071f79f3cf40f788031e4f5ba83f6dcdbc91a0 current
e4b7485b0b17 Added tag current for changeset e27769992399
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 345
diff changeset
30 e277699923993f1bd91b34cb7c727725c96bc5f2 current
355
45fefbfd4871 Added tag current for changeset aa03b9c289c0
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 354
diff changeset
31 e277699923993f1bd91b34cb7c727725c96bc5f2 current
45fefbfd4871 Added tag current for changeset aa03b9c289c0
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 354
diff changeset
32 aa03b9c289c06dccca73b336770fe2868c6cf194 current
356
0f8083cfbf15 Added tag release for changeset 45fefbfd4871
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 355
diff changeset
33 fcc65e37e72b007ee32a72d5d9b9c82db77927da release
0f8083cfbf15 Added tag release for changeset 45fefbfd4871
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 355
diff changeset
34 45fefbfd4871a5cf695955a4693d77ec8ae2b5f8 release
357
d74a5a4df1b7 Removed tag curret
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 356
diff changeset
35 e0916a6329710d1a3ca7208ca7dfd3f0171299f1 curret
d74a5a4df1b7 Removed tag curret
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 356
diff changeset
36 0000000000000000000000000000000000000000 curret