| Tue, 27 Sep 2011 20:25:15 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 27 Sep 2011 14:17:40 +0200 | wenzelm | retain output, which is required for non-existent JRE, for example (cf. b455e4f42c04); | changeset | files |
| Tue, 27 Sep 2011 00:03:11 +0200 | wenzelm | tuned message, which is displayed after termination of Isabelle.app on Mac OS; | changeset | files |
| Mon, 26 Sep 2011 23:51:59 +0200 | wenzelm | keep top-level "Isabelle" executable -- now an alias for "isabelle jedit"; | changeset | files |