| changeset 43565 | 486b56f2139c |
| parent 43527 | 1aacef7471c2 |
| child 43581 | c3e4d280bdeb |
--- a/NEWS Mon Jun 27 22:20:49 2011 +0200 +++ b/NEWS Mon Jun 27 22:23:44 2011 +0200 @@ -135,6 +135,9 @@ *** ML *** +* Antiquotations for ML and document preparation are managed as theory +data, which requires explicit setup. + * 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).