| 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 |
| Sat, 07 Sep 2013 11:28:30 +0200 | wenzelm | odd workaround for scalac to enable nohup; | changeset | files |