Sat, 07 Sep 2013 13:59:47 +0200 | wenzelm | dialog for system processes, with optional output window; | changeset | files |
Sat, 07 Sep 2013 11:36:03 +0200 | wenzelm | more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap; | changeset | files |