1.1 --- a/NEWS	Mon Jun 27 22:20:49 2011 +0200
     1.2 +++ b/NEWS	Mon Jun 27 22:23:44 2011 +0200
     1.3 @@ -135,6 +135,9 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* Antiquotations for ML and document preparation are managed as theory
     1.8 +data, which requires explicit setup.
     1.9 +
    1.10  * Isabelle_Process.is_active allows tools to check if the official
    1.11  process wrapper is running (Isabelle/Scala/jEdit) or the old TTY loop
    1.12  (better known as Proof General).