Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Sun, 05 Jul 2020 16:59:13 +0900 | Shinji KONO | HOD release |
Sun, 05 Jul 2020 16:56:40 +0900 | Shinji KONO | Added tag release for changeset fcc65e37e72b |
Sun, 05 Jul 2020 16:56:35 +0900 | Shinji KONO | Added tag current for changeset 12071f79f3cf |
Sun, 05 Jul 2020 16:56:21 +0900 | Shinji KONO | HOD done |
Sun, 05 Jul 2020 15:49:00 +0900 | Shinji KONO | ... |
Sun, 05 Jul 2020 12:32:09 +0900 | Shinji KONO | ... |