Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
INSTALL
changeset 10430 d3f780c3af0c
parent 10081 352412857003
child 11126 b98336d6e834
equal deleted inserted replaced
10429:8820f787e61e 10430:d3f780c3af0c
isabelle