tuned;

--- a/NEWS	Mon Apr 04 23:08:48 2016 +0200
+++ b/NEWS	Mon Apr 04 23:13:41 2016 +0200
@@ -230,6 +230,10 @@
 
 *** ML ***
 
+* The ML function "ML" provides easy access to run-time compilation.
+This is particularly useful for conditional compilation, without
+requiring separate files.
+
 * Low-level ML system structures (like PolyML and RunCall) are no longer
 exposed to Isabelle/ML user-space. The system option ML_system_unsafe
 allows to override this for special test situations.