NEWS;
authorwenzelm
Sat Nov 03 20:30:10 2018 +0100 (12 months ago ago)
changeset 6923507fc77bf5eb6
parent 69234 043cbeb0b1cf
child 69236 6b90ace5e5eb
NEWS;
NEWS
     1.1 --- a/NEWS	Sat Nov 03 20:24:56 2018 +0100
     1.2 +++ b/NEWS	Sat Nov 03 20:30:10 2018 +0100
     1.3 @@ -112,6 +112,10 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* Session directory $ISABELLE_HOME/src/Tools/Haskell provides some
     1.8 +source modules for Isabelle tools implemented in Haskell, notably for
     1.9 +Isabelle/PIDE.
    1.10 +
    1.11  * Isabelle server command "use_theories" supports "nodes_status_delay"
    1.12  for continuous output of node status information. The time interval is
    1.13  specified in seconds; a negative value means it is disabled (default).