Admin/components/bundled-windows
author wenzelm
Sat Nov 30 20:59:12 2013 +0100 (2013-11-30)
changeset 54656 84177f8372f9
parent 53661 7b4cefeb87d8
child 54662 aeb21314d078
permissions -rw-r--r--
updated icon of Isabelle.exe, using http://convertico.org/image_to_icon_converter on lib/logo/isabelle.gif (approx. 256x256 pixels according to Windows 7 format);
     1 #additional components to be bundled for release
     2 cygwin-20130916
     3 windows_app-20131130