diff -r 9e2a65912111 -r 860cd901ab43 NEWS
--- a/NEWS	Thu Mar 03 15:23:02 2016 +0100
+++ b/NEWS	Thu Mar 03 21:30:31 2016 +0100
@@ -998,6 +998,10 @@
 
 *** System ***
 
+* Command-line tool "isabelle_process" supports ML evaluation of literal
+expressions (option -e) or files (option -f). Errors lead to premature
+exit of the ML process with return code 1.
+
 * Command-line tool "isabelle console" enables print mode "ASCII".
 
 * Command-line tool "isabelle update_then" expands old Isar command