diff -r 344a4a8847be -r 3653b3ad729e NEWS
--- a/NEWS	Sun Sep 02 20:51:07 2018 +0200
+++ b/NEWS	Sun Sep 02 21:22:52 2018 +0200
@@ -58,6 +58,14 @@
 observes the official standard).
 
 
+*** System ***
+
+* Isabelle Server message "use_theories" terminates more robustly in the
+presence of structurally broken sources: full consolidation of theories
+is no longer required.
+
+
+
 New in Isabelle2018 (August 2018)
 ---------------------------------