NEWS
changeset 42897 6bc8a6dcb3e0
parent 42874 f115492c7c8d
child 43206 831d28439b3a
     1.1 --- a/NEWS	Fri May 20 18:12:12 2011 +0200
     1.2 +++ b/NEWS	Fri May 20 20:44:03 2011 +0200
     1.3 @@ -124,6 +124,10 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* Isabelle_Process.is_active allows tools to check if the official
     1.8 +process wrapper is running (Isabelle/Scala/jEdit) or the old TTY loop
     1.9 +(better known as Proof General).
    1.10 +
    1.11  * Structure Proof_Context follows standard naming scheme.  Old
    1.12  ProofContext is still available for some time as legacy alias.
    1.13