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 20172 b65eb8145f5e
parent 20067 26bac504ef90
child 20340 6afc1c133b86
equal deleted inserted replaced
20171:424739228123 20172:b65eb8145f5e
isabelle