10 months ago wenzelm [Mon, 03 Sep 2018 20:04:51 +0200] rev 68899
more detailed progress;
src/Pure/System/progress.scala src/Pure/Thy/thy_resources.scala src/Pure/Tools/dump.scala

10 months ago wenzelm [Mon, 03 Sep 2018 19:44:10 +0200] rev 68898
more informative node_status;
src/Doc/System/Server.thy src/Pure/PIDE/document_status.scala

10 months ago wenzelm [Mon, 03 Sep 2018 18:52:28 +0200] rev 68897
tuned signature;
src/Pure/PIDE/document_status.scala

10 months ago wenzelm [Mon, 03 Sep 2018 18:47:31 +0200] rev 68896
more robust default options, notably for node consolidation;
src/Pure/Tools/dump.scala

10 months ago wenzelm [Mon, 03 Sep 2018 18:45:03 +0200] rev 68895
tuned;
src/Pure/Tools/dump.scala

10 months ago wenzelm [Mon, 03 Sep 2018 16:23:26 +0200] rev 68894
more robust: load_theories after consumer is installed;
src/Pure/Thy/thy_resources.scala

10 months ago wenzelm [Mon, 03 Sep 2018 15:35:38 +0200] rev 68893
merged

10 months ago wenzelm [Mon, 03 Sep 2018 15:04:04 +0200] rev 68892
proper polarity of terminated status;
src/Pure/PIDE/document_status.scala

10 months ago Angeliki KoutsoukouArgyraki <ak2110@cam.ac.uk> [Mon, 03 Sep 2018 13:32:29 +0100] rev 68891
merged

10 months ago Angeliki KoutsoukouArgyraki <ak2110@cam.ac.uk> [Mon, 03 Sep 2018 13:28:52 +0100] rev 68890
tagged 1 theory: Great_Picard
src/HOL/Analysis/Great_Picard.thy