| changeset 68770 | add44e2b8cb0 |
| parent 68740 | 682ff0e84387 |
| child 68796 | 9ca183045102 |
--- a/NEWS Sat Aug 18 17:29:49 2018 +0200 +++ b/NEWS Sat Aug 18 22:09:09 2018 +0200 @@ -7,6 +7,11 @@ New in this Isabelle version ---------------------------- +*** 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). New in Isabelle2018 (August 2018)