Mercurial > hg > Members > kono > Proof > category

graph

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 1109: (0) -1000 -300 -100 -15 +15 tip
  • ...
    Thu, 20 Jul 2023 12:36:15 +0900, by Shinji KONO
  • ...
    Thu, 20 Jul 2023 11:49:01 +0900, by Shinji KONO
  • ...
    Sat, 11 Mar 2023 01:14:24 +0900, by Shinji KONO
  • unify yoneda functor
    Fri, 10 Mar 2023 16:19:46 +0900, by Shinji KONO
  • ...
    Wed, 25 Jan 2023 10:59:28 +0900, by Shinji KONO
  • ...
    Tue, 24 Jan 2023 23:23:20 +0900, by Shinji KONO
  • ...
    Tue, 24 Jan 2023 23:10:15 +0900, by Shinji KONO
  • add gorup
    Tue, 24 Jan 2023 20:25:02 +0900, by Shinji KONO
  • ...
    Thu, 03 Nov 2022 11:01:18 +0900, by Shinji KONO
  • ...
    Sun, 30 Jan 2022 20:40:19 +0900, by Shinji KONO
  • closed this
    Sun, 29 Aug 2021 16:07:54 +0900, by Shinji KONO
  • explict x in Poly is bad in Internal Language
    Sun, 29 Aug 2021 13:44:54 +0900, by Shinji KONO
  • add Todo
    Sat, 31 Jul 2021 06:58:48 +0900, by Shinji KONO
  • xf fix
    Wed, 19 May 2021 09:00:25 +0900, by Shinji KONO
  • Topos Sets char-iso done
    Tue, 18 May 2021 15:38:46 +0900, by Shinji KONO
less more | rev 1109: (0) -1000 -300 -100 -15 +15 tip