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.
CONTRIBUTORS
changeset 74007 df976eefcba0
parent 73935 269b2f976100
child 74027 47a568d9067e
equal deleted inserted replaced
74004:5c8a0580d513 74007:df976eefcba0
isabelle