Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
updated isabelle.ico for the record (see also 84177f8372f9);
authorwenzelm
Sat, 30 Nov 2013 21:17:53 +0100
changeset 553067c7938425fb3
parent 55305 84177f8372f9
child 55307 a6697947e277
updated isabelle.ico for the record (see also 84177f8372f9);
Admin/Windows/WinRun4J/isabelle.ico file | annotate | diff | comparison | revisions 
     1.1 Binary file Admin/Windows/WinRun4J/isabelle.ico has changed
wneuper/isa