NEWS

--- a/NEWS	Sat Nov 07 16:36:50 2020 +0100
+++ b/NEWS	Sat Nov 07 16:49:51 2020 +0100
@@ -224,6 +224,10 @@
 
   ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS -Xmx8g"
 
+* The command-line tool "isabelle process" now prints output to
+stdout/stderr separately and incrementally, instead of just one bulk to
+stdout after termination. Potential INCOMPATIBILITY for external tools.
+
 * The command-line tool "isabelle console" now supports interrupts
 properly (on Linux and macOS).