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 230:
(0)
-100
-30
-10
-1
+1
+10
+30
+100
+300
tip
age
author
description
Mon, 23 Nov 2009 11:33:22 -0500
Adam Chlipala
Axioms
less
more
| rev 230:
(0)
-100
-30
-10
-1
+1
+10
+30
+100
+300
tip