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 354: (0) -300 -100 -12 +12 +100 +300 tip
  • fix
    Thu, 02 Apr 2015 22:49:13 +0900, by Shinji KONO
  • list representation of TwoCat Hom
    Wed, 01 Apr 2015 17:37:04 +0900, by Shinji KONO
  • bad approach
    Wed, 24 Dec 2014 22:16:20 +0900, by Shinji KONO
  • ...
    Wed, 24 Dec 2014 12:50:52 +0900, by Shinji KONO
  • try equalizer from limit
    Wed, 24 Dec 2014 12:00:16 +0900, by Shinji KONO
  • fix
    Sun, 04 May 2014 11:01:36 +0900, by Shinji KONO
  • fix
    Sat, 03 May 2014 11:46:05 +0900, by Shinji KONO
  • list try ..
    Tue, 22 Apr 2014 23:31:19 +0900, by Shinji KONO
  • fix
    Sat, 19 Apr 2014 14:39:54 +0900, by Shinji KONO
  • fix on System F
    Sat, 19 Apr 2014 11:34:49 +0900, by Shinji KONO
  • ItInt on system F
    Sat, 19 Apr 2014 00:29:39 +0900, by Shinji KONO
  • free-monoid comment
    Fri, 18 Apr 2014 20:19:32 +0900, by Shinji KONO
less more | rev 354: (0) -300 -100 -12 +12 +100 +300 tip