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.
ANNOUNCE
changeset 78471 7c3d681f11d4
parent 78455 127e4e952446
child 78493 1e80fc36776c
equal deleted inserted replaced
78468:33bc244eafdb 78471:7c3d681f11d4
isabelle