--- a/NEWS Mon Mar 19 18:13:37 2018 +0100
+++ b/NEWS Mon Mar 19 19:24:45 2018 +0100
@@ -267,6 +267,11 @@
*** System ***
+* The command-line tools "isabelle server" and "isabelle client" provide
+access to the Isabelle Server: it supports responsive session management
+and concurrent use of theories, based on Isabelle/PIDE infrastructure.
+See also the "system" manual.
+
* The command-line tool "isabelle update_comments" normalizes formal
comments in outer syntax as follows: \<comment> \<open>text\<close> (whith a single space to
approximate the appearance in document output). This is more specific