diff -r cfb21e03fe2a -r d64a4ef26edb Admin/Windows/launch4j/isabelle.ico
Binary file Admin/Windows/launch4j/isabelle.ico has changed