# HG changeset patch
# User wenzelm
# Date 1459804421 -7200
# Node ID cfd2749e1352c9bd6c9010b01d5429a0b3f6c8c8
# Parent  045dc4ad6d98aa7123e925c2425916b7176fa537
tuned;

diff -r 045dc4ad6d98 -r cfd2749e1352 NEWS
--- 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.