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 89:
(0)
-30
-10
-1
+1
+10
+30
+100
+300
tip
age
author
description
Tue, 07 Oct 2008 10:49:07 -0400
Adam Chlipala
Remove -impredicative-set
less
more
| rev 89:
(0)
-30
-10
-1
+1
+10
+30
+100
+300
tip