NEWS
changeset 67904 465f43a9f780
parent 67831 07f5588f2735
child 67928 7f5b1b6f7f40
     1.1 --- a/NEWS	Mon Mar 19 18:13:37 2018 +0100
     1.2 +++ b/NEWS	Mon Mar 19 19:24:45 2018 +0100
     1.3 @@ -267,6 +267,11 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* The command-line tools "isabelle server" and "isabelle client" provide
     1.8 +access to the Isabelle Server: it supports responsive session management
     1.9 +and concurrent use of theories, based on Isabelle/PIDE infrastructure.
    1.10 +See also the "system" manual.
    1.11 +
    1.12  * The command-line tool "isabelle update_comments" normalizes formal
    1.13  comments in outer syntax as follows: \<comment> \<open>text\<close> (whith a single space to
    1.14  approximate the appearance in document output). This is more specific