wenzelm [Sun, 19 Aug 2012 17:21:34 +0200] rev 48856
actually remove makeall (cf. 292b97e17fb7);
wenzelm [Fri, 17 Aug 2012 21:16:13 +0200] rev 48855
tuned;
wenzelm [Fri, 17 Aug 2012 21:15:36 +0200] rev 48854
Backed out changeset ec82c33c75f8;
webertj [Fri, 17 Aug 2012 20:31:12 +0200] rev 48853
Typo fixed.
wenzelm [Fri, 17 Aug 2012 19:11:51 +0200] rev 48852
merged
nipkow [Fri, 17 Aug 2012 11:32:20 +0200] rev 48851
merged
nipkow [Fri, 17 Aug 2012 08:56:08 +0200] rev 48850
fixed lemmas
nipkow [Thu, 16 Aug 2012 15:08:42 +0200] rev 48849
abstracted lemmas
wenzelm [Fri, 17 Aug 2012 19:08:55 +0200] rev 48848
updated to new init_components, hoping that mira can digest that;
wenzelm [Fri, 17 Aug 2012 19:07:14 +0200] rev 48847
some explanations on component categories;
wenzelm [Fri, 17 Aug 2012 18:04:49 +0200] rev 48846
specific cygwin components;
wenzelm [Fri, 17 Aug 2012 17:37:27 +0200] rev 48845
obsolete;
wenzelm [Fri, 17 Aug 2012 17:35:07 +0200] rev 48844
some explanations on isabelle components;
wenzelm [Fri, 17 Aug 2012 17:52:10 +0200] rev 48843
some grouping of components;
wenzelm [Fri, 17 Aug 2012 17:48:26 +0200] rev 48842
renamed components to components_old, to make room for some directory of the same name;
wenzelm [Fri, 17 Aug 2012 15:05:57 +0200] rev 48841
minor robustification;
wenzelm [Fri, 17 Aug 2012 14:56:37 +0200] rev 48840
added "isabelle components" tool;
wenzelm [Fri, 17 Aug 2012 14:55:46 +0200] rev 48839
tuned;
wenzelm [Fri, 17 Aug 2012 12:14:58 +0200] rev 48838
direct support for component forests via init_components;
explicit ISABELLE_COMPONENTS_MISSING;
wenzelm [Fri, 17 Aug 2012 11:42:05 +0200] rev 48837
allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira;
clarified spaces in file names -- ISABELLE_HOME is non-critical after abolishment of "make";
wenzelm [Fri, 17 Aug 2012 11:37:14 +0200] rev 48836
tuned;
wenzelm [Fri, 17 Aug 2012 11:23:57 +0200] rev 48835
tuned;
wenzelm [Fri, 17 Aug 2012 11:20:18 +0200] rev 48834
updated component repository;
wenzelm [Fri, 17 Aug 2012 11:18:26 +0200] rev 48833
updates on 32 bit vs. 64 bit platforms;
added Mountain Lion;
dropped Leopard;
tuned;