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 48:
(0)
-30
-10
-1
+1
+10
+30
+100
+300
tip
age
author
description
Sat, 27 Sep 2008 16:10:53 -0400
Adam Chlipala
First-order logic
less
more
| rev 48:
(0)
-30
-10
-1
+1
+10
+30
+100
+300
tip