| Mon, 23 Jul 2012 16:44:29 +0200 | wenzelm | merged | changeset | files |
| Mon, 23 Jul 2012 16:16:10 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 23 Jul 2012 16:13:26 +0200 | wenzelm | clarified init_component: always liberal; | changeset | files |
| Mon, 23 Jul 2012 15:59:14 +0200 | wenzelm | added system build mode: produce output in ISABELLE_HOME; | changeset | files |
| Mon, 23 Jul 2012 15:44:42 +0200 | wenzelm | removed redundant check (cf. a8ed41b6280b); | changeset | files |
| Mon, 23 Jul 2012 15:05:05 +0200 | wenzelm | pass ISABELLE_BROWSER_INFO as explicit argument; | changeset | files |