diff -r f74d0a4d8ae3 -r 451d5b73f8cf NEWS
--- a/NEWS	Wed Mar 12 21:29:46 2014 +0100
+++ b/NEWS	Wed Mar 12 21:58:48 2014 +0100
@@ -437,6 +437,10 @@
 theory merge).  Note that the softer Thm.eq_thm_prop is often more
 appropriate than Thm.eq_thm.
 
+* Simplified programming interface to define ML antiquotations, see
+ML_Context.antiquotation, to make it more close to the analogous
+Thy_Output.antiquotation.  Minor INCOMPATIBILTY.
+
 
 *** System ***