NEWS
changeset 68770 add44e2b8cb0
parent 68740 682ff0e84387
child 68796 9ca183045102
     1.1 --- a/NEWS	Sat Aug 18 17:29:49 2018 +0200
     1.2 +++ b/NEWS	Sat Aug 18 22:09:09 2018 +0200
     1.3 @@ -7,6 +7,11 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** System ***
     1.8 +
     1.9 +* Isabelle server command "use_theories" supports "nodes_status_delay"
    1.10 +for continuous output of node status information. The time interval is
    1.11 +specified in seconds; a negative value means it is disabled (default).
    1.12  
    1.13  
    1.14  New in Isabelle2018 (August 2018)