--- a/NEWS Wed Aug 06 15:32:17 2025 +0200
+++ b/NEWS Wed Aug 06 15:40:42 2025 +0200
@@ -31,8 +31,9 @@
database. Example: "isabelle jedit -l HOL src/HOL/Nat.thy" for theory
"HOL.Nat" in session "HOL". This information is read-only: editing
theory sources in the editor will invalidate formal markup, and replace
-it by an error message. Messages only include proof states, if the
-underlying session database has been build with option "show_states".
+it by an error message. Output messages exclude proof states and final
+results, unless the underlying session database has been built with
+option "show_states".
*** Isabelle/jEdit Prover IDE ***