| Sun, 01 Dec 2013 13:54:41 +0100 | wenzelm | prefer isabelle application icon; | changeset | files |
| Sun, 01 Dec 2013 13:03:15 +0100 | wenzelm | more isabelle logos (from isabelle.ico); | changeset | files |
| Sat, 30 Nov 2013 22:56:20 +0100 | wenzelm | prefer 32x32 icon like jedit (image from isabelle.ico); | changeset | files |
| Sat, 30 Nov 2013 21:17:53 +0100 | wenzelm | updated isabelle.ico for the record (see also 84177f8372f9); | changeset | files |
| Sat, 30 Nov 2013 20:59:12 +0100 | wenzelm | 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); | changeset | files |
| Sat, 30 Nov 2013 17:51:25 +0100 | wenzelm | further encouragement to read jEdit documentation; | changeset | files |