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 45:
(0)
-30
-10
-1
+1
+10
+30
+100
+300
tip
age
author
description
Sat, 27 Sep 2008 14:57:08 -0400
Adam Chlipala
Propositional logic
less
more
| rev 45:
(0)
-30
-10
-1
+1
+10
+30
+100
+300
tip