changeset 43772 | 6bc8a6dcb3e0 |
parent 43743 | f115492c7c8d |
child 44047 | 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