Members/kono/Proof/ZF-in-agda: revision graph

graph

less more | rev 1140: (0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 tip

...
Sat, 14 Jan 2023 07:47:44 +0900, by Shinji KONO
...
Fri, 13 Jan 2023 13:16:49 +0900, by Shinji KONO
...
Fri, 13 Jan 2023 13:03:45 +0900, by Shinji KONO
...
Fri, 13 Jan 2023 09:30:31 +0900, by Shinji KONO
...
Fri, 13 Jan 2023 08:22:20 +0900, by Shinji KONO
..
Fri, 13 Jan 2023 08:00:28 +0900, by Shinji KONO
...
Fri, 13 Jan 2023 07:37:27 +0900, by Shinji KONO
...
Thu, 12 Jan 2023 20:52:47 +0900, by Shinji KONO
...
Wed, 11 Jan 2023 17:26:07 +0900, by Shinji KONO
...
Wed, 11 Jan 2023 13:52:04 +0900, by Shinji KONO
...
Wed, 11 Jan 2023 08:38:05 +0900, by Shinji KONO
use different filter
Tue, 10 Jan 2023 18:12:05 +0900, by Shinji KONO
...
Tue, 10 Jan 2023 17:16:16 +0900, by Shinji KONO
...
Tue, 10 Jan 2023 09:29:58 +0900, by Shinji KONO
...
Tue, 10 Jan 2023 03:00:04 +0900, by Shinji KONO
...
Tue, 10 Jan 2023 02:19:08 +0900, by Shinji KONO
...
Mon, 09 Jan 2023 13:09:30 +0900, by Shinji KONO
...
Wed, 04 Jan 2023 11:21:55 +0900, by Shinji KONO
add OS ∋ od∅
Wed, 04 Jan 2023 09:39:25 +0900, by Shinji KONO
...
Tue, 03 Jan 2023 14:17:53 +0900, by Shinji KONO
FIP fix
Tue, 03 Jan 2023 09:28:23 +0900, by Shinji KONO
...
Mon, 02 Jan 2023 10:15:20 +0900, by Shinji KONO
Product Topology done
Sun, 01 Jan 2023 20:28:07 +0900, by Shinji KONO
generated topology from subbase done
Sun, 01 Jan 2023 20:07:04 +0900, by Shinji KONO
...
Sun, 01 Jan 2023 20:03:29 +0900, by Shinji KONO
....
Sun, 01 Jan 2023 17:02:54 +0900, by Shinji KONO
...
Sun, 01 Jan 2023 15:51:08 +0900, by Shinji KONO
fix Topology definition
Sun, 01 Jan 2023 13:46:38 +0900, by Shinji KONO
...
Sat, 31 Dec 2022 22:09:31 +0900, by Shinji KONO
...
Sat, 31 Dec 2022 22:04:23 +0900, by Shinji KONO

less more | rev 1140: (0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 tip

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

graph