Mercurial > urweb

log src/corify.sig

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Sat, 02 May 2009 13:23:07 -0400 Adam Chlipala Path rewriting
Sun, 19 Oct 2008 11:11:49 -0400 Adam Chlipala Simple generation of persistent paths
Thu, 19 Jun 2008 12:39:22 -0400 Adam Chlipala Corify removes modules
Sun, 08 Jun 2008 13:59:29 -0400 Adam Chlipala Conversion to Core
less more | (0) tip