| Sun, 01 Dec 2013 14:09:33 +0100 | wenzelm | specific application name for official bundle (as for Mac OS X); | changeset | files |
| 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 |