Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Admin/MacOS/Resources/isabelle.icns
changeset 59105 976e73e11d9a
parent 59104 09a9b04605e5
child 59106 ba511c1e97f2 
     1.1 Binary file Admin/MacOS/Resources/isabelle.icns has changed
wneuper/isa