Mercurial > cpdt > repo

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 8: (0) -3 +3 +10 +30 +100 +300 tip
age author description
Mon, 01 Sep 2008 10:25:40 -0400 Adam Chlipala First cut at Intro done
Mon, 01 Sep 2008 10:00:09 -0400 Adam Chlipala Why not Agda/Epigram?
Mon, 01 Sep 2008 09:27:25 -0400 Adam Chlipala Placeholders to create html and latex directories
less more | rev 8: (0) -3 +3 +10 +30 +100 +300 tip