30 hours ago wenzelm [Mon, 18 Feb 2019 16:13:10 +0100] rev 69820 default tip
suppress nodes with vacuous status, notably empty nodes (amending 5f160df596c1);
src/Tools/jEdit/src/theories_dockable.scala

30 hours ago wenzelm [Mon, 18 Feb 2019 16:04:52 +0100] rev 69819
tuned;
src/Tools/jEdit/src/theories_dockable.scala

30 hours ago wenzelm [Mon, 18 Feb 2019 15:57:06 +0100] rev 69818
more robust: avoid potentially unrelated snapshot for the sake of is_suppressed;
src/Pure/PIDE/document_status.scala src/Pure/PIDE/headless.scala src/Pure/System/progress.scala src/Pure/Tools/server.scala src/Tools/jEdit/src/theories_dockable.scala

2 days ago wenzelm [Sun, 17 Feb 2019 22:15:02 +0100] rev 69817
clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f;
src/Pure/PIDE/document_status.scala src/Pure/PIDE/headless.scala src/Pure/System/progress.scala src/Pure/Tools/server.scala src/Tools/jEdit/src/theories_dockable.scala

2 days ago wenzelm [Sun, 17 Feb 2019 19:31:04 +0100] rev 69816
updated to polyml-test-8fda4fd22441;
Admin/components/components.sha1 Admin/components/main Admin/polyml/README

4 days ago haftmann [Fri, 15 Feb 2019 18:24:22 +0000] rev 69815
proper installation of ancient procedure for preorders
src/HOL/Library/Preorder.thy src/HOL/Orderings.thy src/HOL/ex/Function_Growth.thy src/Provers/preorder.ML src/Provers/quasi.ML

4 days ago haftmann [Fri, 15 Feb 2019 07:11:11 +0000] rev 69814
CONTRIBUTORS
CONTRIBUTORS

4 days ago haftmann [Fri, 15 Feb 2019 07:11:09 +0000] rev 69813
more idiomatic style for local declarations in apply scripts
src/HOL/UNITY/Comp/Alloc.thy

4 days ago wenzelm [Fri, 15 Feb 2019 17:10:09 +0100] rev 69812
clarified meta_digest: export_files is a directive for physical output from existing build database;
src/Pure/Thy/sessions.scala

4 days ago wenzelm [Fri, 15 Feb 2019 17:00:21 +0100] rev 69811
clarified 'export_files' in session ROOT: require explicit "isabelle build -e";
tuned messages;
NEWS src/Doc/System/Sessions.thy src/Pure/Thy/export.scala src/Pure/Tools/build.scala