# HG changeset patch
# User wenzelm
# Date 1537731510 -7200
# Node ID 364c989edb492f8a589a9c293b089e88e7764c71
# Parent  57a76e4728ed9fbeeff08ff8d6edf952bc147d2c
tuned;

diff -r 57a76e4728ed -r 364c989edb49 NEWS
--- a/NEWS	Sun Sep 23 20:33:35 2018 +0200
+++ b/NEWS	Sun Sep 23 21:38:30 2018 +0200
@@ -13,13 +13,6 @@
 longer supported (legacy feature in Isabelle2018).
 
 
-*** System ***
-
-* Isabelle server command "use_theories" supports "nodes_status_delay"
-for continuous output of node status information. The time interval is
-specified in seconds; a negative value means it is disabled (default).
-
-
 *** Isar ***
 
 * More robust treatment of structural errors: begin/end blocks take
@@ -73,7 +66,11 @@
 
 *** System ***
 
-* Isabelle Server message "use_theories" terminates more robustly in the
+* Isabelle server command "use_theories" supports "nodes_status_delay"
+for continuous output of node status information. The time interval is
+specified in seconds; a negative value means it is disabled (default).
+
+* Isabelle Server command "use_theories" terminates more robustly in the
 presence of structurally broken sources: full consolidation of theories
 is no longer required.