diff -r 47fef41c68fb -r c2ffa1783319 Admin/website/misc/isabelle_droplet.dmg
Binary file Admin/website/misc/isabelle_droplet.dmg has changed