# HG changeset patch
# User wenzelm
# Date 1605984485 -3600
# Node ID 035b8054013a0c0adaadcc5b10e0e7c8630aa7a3
# Parent  b22f1e2b4e9432fa2fa613bf9d9e1f737e987d18
tuned NEWS;

diff -r b22f1e2b4e94 -r 035b8054013a NEWS
--- a/NEWS	Sat Nov 21 18:44:38 2020 +0100
+++ b/NEWS	Sat Nov 21 19:48:05 2020 +0100
@@ -228,6 +228,13 @@
 * ML statistics via an external Poly/ML process: this allows monitoring
 the runtime system while the ML program sleeps.
 
+* 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).
+
 * Batch-builds via "isabelle build" use a PIDE session with special
 protocol: this allows to invoke Isabelle/Scala operations from
 Isabelle/ML. Big build jobs (e.g. AFP) require extra heap space for the
@@ -235,13 +242,6 @@
 
   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).
-
 * The command-line tool "isabelle build" provides option -P DIR to
 produce PDF/HTML presentation in the specified directory; -P: refers to
 the standard directory according to ISABELLE_BROWSER_INFO /
@@ -251,7 +251,7 @@
 
 * The command-line tool "isabelle document" generates theory documents
 on the spot, using the underlying session build database (exported
-\LaTeX sources or existing PDF files). INCOMPATIBILITY, the former
+LaTeX sources or existing PDF files). INCOMPATIBILITY, the former
 "isabelle document" tool was rather different and has been discontinued.
 
 * The command-line tool "isabelle sessions" explores the structure of