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.
etc/abbrevs
changeset 61964 37a0cbee00c2
parent 61963 2548e7cc86fb
child 61968 e13e70f32407
equal deleted inserted replaced
61963:2548e7cc86fb 61964:37a0cbee00c2
isabelle