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 6996 1a28d968c5aa
parent 6486 1f1d5e00e0a5
child 8809 85539b33be03
equal deleted inserted replaced
6995:d824a86266a9 6996:1a28d968c5aa
isabelle