| changeset 42897 | 6bc8a6dcb3e0 |
| parent 42874 | f115492c7c8d |
| child 43206 | 831d28439b3a |
--- 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.