# HG changeset patch
# User wenzelm
# Date 1309206224 -7200
# Node ID 486b56f2139ce869a483c9ce41017899eda6f457
# Parent  9864182c6bad456e28b7fbfa1284741f992ef641
NEWS;

diff -r 9864182c6bad -r 486b56f2139c NEWS
--- 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).