diff -r d96e53d0c638 -r 6bc8a6dcb3e0 NEWS
--- a/NEWS	Fri May 20 18:12:12 2011 +0200
+++ b/NEWS	Fri May 20 20:44:03 2011 +0200
@@ -124,6 +124,10 @@
 
 *** ML ***
 
+* Isabelle_Process.is_active allows tools to check if the official
+process wrapper is running (Isabelle/Scala/jEdit) or the old TTY loop
+(better known as Proof General).
+
 * Structure Proof_Context follows standard naming scheme.  Old
 ProofContext is still available for some time as legacy alias.