| Sun, 01 Dec 2013 16:35:38 +0100 | wenzelm | Added tag Isabelle2013-2-RC3 for changeset aeb21314d078 | changeset | files |
| Sun, 01 Dec 2013 16:01:03 +0100 | wenzelm | prefer transparent application icon (like Mac OS X); | changeset | files |
| 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 |