Mercurial > cpdt > repo

log latex/cpdt.bib

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Sun, 25 Sep 2011 13:20:56 -0400 Adam Chlipala Pass over Match
Mon, 12 Sep 2011 11:21:27 -0400 Adam Chlipala Finished pass over InductiveTypes
Sun, 11 Sep 2011 17:22:36 -0400 Adam Chlipala Pass through InductiveTypes, through end of reflexive types
Sun, 11 Sep 2011 16:26:48 -0400 Adam Chlipala Pass through InductiveTypes, through end of recursive types
Thu, 01 Sep 2011 11:32:15 -0400 Adam Chlipala Pass through second half of StackMachine
Mon, 29 Aug 2011 15:31:06 -0400 Adam Chlipala Pass through first half of StackMachine, along with some reorganization of the build process
Mon, 29 Aug 2011 09:47:39 -0400 Adam Chlipala Fix .hgignore and check in .bib
less more | (0) tip