| Tue, 27 Sep 2011 20:45:15 +0200 | wenzelm | tuned README.html; | changeset | files |
| 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 |
| Mon, 26 Sep 2011 23:43:52 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 26 Sep 2011 21:41:39 +0200 | wenzelm | ensure Isabelle env; | changeset | files |