Mercurial
Mercurial
>
repos
>
isabelle
/ changeset
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
| changeset |
raw
|
gz
|
help
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
tuning
author
blanchet
Thu, 01 Sep 2011 14:21:09 +0200
changeset 44637
13f86edf3db3
parent 44636
9a8de0397f65
child 44638
74fb317aaeb5
tuning