Mercurial > cpdt > repo

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 130: (0) -100 -30 -10 -7 +7 +10 +30 +100 +300 tip
age author description
Wed, 22 Oct 2008 09:43:37 -0400 Adam Chlipala Clarify intent to use hlist
Wed, 22 Oct 2008 07:50:47 -0400 Adam Chlipala s/reflexive/index function
Mon, 20 Oct 2008 17:02:04 -0400 Adam Chlipala s/itree/htree
Mon, 20 Oct 2008 14:03:08 -0400 Adam Chlipala Equality exercise
Mon, 20 Oct 2008 12:17:39 -0400 Adam Chlipala More DepList notations
Mon, 20 Oct 2008 10:44:20 -0400 Adam Chlipala Add ext_eq axiom and DepList notations
Mon, 20 Oct 2008 09:11:54 -0400 Adam Chlipala Templatize Equality
less more | rev 130: (0) -100 -30 -10 -7 +7 +10 +30 +100 +300 tip