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

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 1164: (0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 tip
age author description
Sat, 21 Jan 2023 09:12:10 +0900 Shinji KONO ...
Sat, 21 Jan 2023 09:02:52 +0900 Shinji KONO ...
Sat, 21 Jan 2023 01:52:19 +0900 Shinji KONO Closure in Topology
Fri, 20 Jan 2023 22:33:30 +0900 Shinji KONO ...
Fri, 20 Jan 2023 17:02:09 +0900 Shinji KONO ...
Fri, 20 Jan 2023 14:40:54 +0900 Shinji KONO ...
Fri, 20 Jan 2023 11:22:37 +0900 Shinji KONO ...
Thu, 19 Jan 2023 17:22:02 +0900 Shinji KONO ...
Thu, 19 Jan 2023 12:17:50 +0900 Shinji KONO filter definition?
Thu, 19 Jan 2023 11:13:40 +0900 Shinji KONO FIP to Filter done
Wed, 18 Jan 2023 20:53:01 +0900 Shinji KONO ...
Wed, 18 Jan 2023 14:09:53 +0900 Shinji KONO ...
Wed, 18 Jan 2023 09:30:26 +0900 Shinji KONO ...
Wed, 18 Jan 2023 01:43:24 +0900 Shinji KONO Finite intersection property to Compact done
Tue, 17 Jan 2023 11:21:18 +0900 Shinji KONO ...
Mon, 16 Jan 2023 22:43:09 +0900 Shinji KONO ...
Mon, 16 Jan 2023 14:01:45 +0900 Shinji KONO recovered
Mon, 16 Jan 2023 12:54:51 +0900 Shinji KONO Union for cover
Mon, 16 Jan 2023 10:50:30 +0900 Shinji KONO wrong cover definition
Mon, 16 Jan 2023 02:22:03 +0900 Shinji KONO ...
Sun, 15 Jan 2023 23:02:36 +0900 Shinji KONO ...
Sun, 15 Jan 2023 19:30:21 +0900 Shinji KONO ...
Sun, 15 Jan 2023 09:05:22 +0900 Shinji KONO Topology clean up
Sat, 14 Jan 2023 12:36:07 +0900 Shinji KONO Maximal Filter and Ultra Filter generation done
Sat, 14 Jan 2023 07:47:44 +0900 Shinji KONO ...
Fri, 13 Jan 2023 13:16:49 +0900 Shinji KONO ...
Fri, 13 Jan 2023 13:03:45 +0900 Shinji KONO ...
Fri, 13 Jan 2023 09:30:31 +0900 Shinji KONO ...
Fri, 13 Jan 2023 08:22:20 +0900 Shinji KONO ...
Fri, 13 Jan 2023 08:00:28 +0900 Shinji KONO ..
less more | rev 1164: (0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 tip