13 months ago wenzelm [Fri, 11 May 2018 20:05:37 +0200] rev 68150
clarified output: avoid costly operations on huge blobs;
src/Pure/General/bytes.scala

13 months ago wenzelm [Fri, 11 May 2018 19:59:05 +0200] rev 68149
unused;
src/Pure/General/bytes.scala src/Pure/library.ML

13 months ago wenzelm [Fri, 11 May 2018 19:57:49 +0200] rev 68148
more scalable -- avoid huge lines within stdout;
src/Pure/PIDE/markup.scala src/Pure/Tools/build.ML src/Pure/Tools/build.scala

13 months ago wenzelm [Fri, 11 May 2018 19:27:00 +0200] rev 68147
slightly more ambitious parallelism (again);
src/Pure/Concurrent/future.ML

13 months ago wenzelm [Fri, 11 May 2018 19:03:33 +0200] rev 68146
more scalable API;
src/Pure/Thy/export.ML

13 months ago wenzelm [Fri, 11 May 2018 17:27:30 +0200] rev 68145
proper heading;
src/Doc/System/Server.thy

13 months ago wenzelm [Fri, 11 May 2018 11:42:23 +0200] rev 68144
removed unused Java FX modules (it will be unbundled from JDK eventually);
src/Pure/GUI/html5_panel.scala src/Pure/GUI/jfx_gui.scala src/Pure/ROOT.scala src/Pure/build-jars

13 months ago paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 22:03:51 +0100] rev 68143
tidied some messy proofs
src/HOL/Analysis/Determinants.thy

13 months ago nipkow [Thu, 10 May 2018 18:17:55 +0200] rev 68142
merged

13 months ago nipkow [Thu, 10 May 2018 18:17:43 +0200] rev 68141
more lemmas
src/HOL/List.thy