log
graph
tags
bookmarks
branches
changeset
browse
help
Mercurial
>
cpdt
>
repo
log
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
| rev 158:
(0)
-100
-30
-10
-1
+1
+10
+30
+100
+300
tip
age
author
description
Mon, 03 Nov 2008 09:43:32 -0500
Adam Chlipala
Hoas, up to type soundness
less
more
| rev 158:
(0)
-100
-30
-10
-1
+1
+10
+30
+100
+300
tip