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.
Admin/website/dist/img/tutorial_cover_big.gif
changeset 16235 f4c43d241eb7
parent 16234 421c3522f160
child 16236 2a6f326ce0ab
equal deleted inserted replaced
16234:421c3522f160 16235:f4c43d241eb7 
     1 (binary file image/gif, hash: 3bee0e8de2cdf4858eece9afe504f410af4d6e29)
isabelle