| changeset 43581 | c3e4d280bdeb |
| parent 43573 | 81f7dca3e542 |
| parent 43565 | 486b56f2139c |
| child 43613 | 7afbaf5a406b |
--- a/NEWS Mon Jun 27 17:04:04 2011 +0200 +++ b/NEWS Mon Jun 27 22:44:44 2011 +0200 @@ -141,6 +141,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).