isabelle: File revisions

lib/scripts/getsettings

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

isabelle