author | wenzelm |
Sat, 30 Nov 2013 20:59:12 +0100 | |
changeset 54656 | 84177f8372f9 |
parent 53661 | 7b4cefeb87d8 |
child 54662 | aeb21314d078 |
permissions | -rw-r--r-- |
50812 | 1 |
#additional components to be bundled for release |
53661 | 2 |
cygwin-20130916 |
54656
84177f8372f9
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);
wenzelm
parents:
53661
diff
changeset
|
3 |
windows_app-20131130 |