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.
lib/logo/isabelle.bmp
changeset 53473 28ba604926f1
parent 53471 66df4b76e58f
equal deleted inserted replaced
53472:ad284595e3a8 53473:28ba604926f1 
       
     1 (binary file image/x-ms-bmp, hash: e5523fd987e1cc4d76604bcfede2a65da100be15)
isabelle