Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Wed, 15 Jul 2020 08:42:30 +0900 | Shinji KONO | ... |
| Tue, 14 Jul 2020 15:02:59 +0900 | Shinji KONO | ... |
| Tue, 14 Jul 2020 12:39:21 +0900 | Shinji KONO | ... |
| Tue, 14 Jul 2020 11:19:48 +0900 | Shinji KONO | Removed tag curret |
| Tue, 14 Jul 2020 11:17:38 +0900 | Shinji KONO | Added tag release for changeset 45fefbfd4871 |
| Tue, 14 Jul 2020 11:17:34 +0900 | Shinji KONO | Added tag current for changeset aa03b9c289c0 |
| Tue, 14 Jul 2020 11:17:28 +0900 | Shinji KONO | Limit Ordinal |