| Thu, 12 Sep 2013 14:32:02 +0200 |
wenzelm |
reverse orientation of ISABELLE_CLASSPATH;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2013 13:23:54 +0200 |
wenzelm |
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
|
file |
diff |
annotate
|
| Tue, 25 Jun 2013 11:41:16 +0200 |
wenzelm |
more formal isabelle_admin_build;
|
file |
diff |
annotate
|
| Thu, 13 Sep 2012 16:09:35 +0200 |
wenzelm |
more liberal init_components: base dir may get created later when resolving missing components;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 20:16:22 +0200 |
wenzelm |
provide polyml-5.4.1 as regular component;
|
file |
diff |
annotate
|
| Fri, 17 Aug 2012 12:14:58 +0200 |
wenzelm |
direct support for component forests via init_components;
|
file |
diff |
annotate
|
| Fri, 17 Aug 2012 11:42:05 +0200 |
wenzelm |
allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira;
|
file |
diff |
annotate
|
| Tue, 14 Aug 2012 10:44:03 +0200 |
wenzelm |
always retain doc-src (as regular component);
|
file |
diff |
annotate
|
| Wed, 08 Aug 2012 10:56:37 +0200 |
wenzelm |
configure Admin as component, with its own lib/Tools;
|
file |
diff |
annotate
|
| Fri, 27 Jul 2012 15:37:28 +0200 |
wenzelm |
include doc-src as component, and thus its sessions defined in ROOT;
|
file |
diff |
annotate
|
| Wed, 25 Jul 2012 10:55:02 +0200 |
wenzelm |
more standard session setup for WWW_Find;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 21:01:16 +0200 |
wenzelm |
provide explicit ISABELLE_PLATFORM32 as well;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 16:13:26 +0200 |
wenzelm |
clarified init_component: always liberal;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 23:13:06 +0200 |
wenzelm |
simplified Cygwin root: warm start via env, cold start via property, no registry magic;
|
file |
diff |
annotate
|
| Wed, 25 Apr 2012 15:13:03 +0200 |
wenzelm |
enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
|
file |
diff |
annotate
|