# HG changeset patch
# User wenzelm
# Date 1754487642 -7200
# Node ID b66202c4e6d9ecb6ce95ae8bf5fad9445abc0351
# Parent  e5fa061b95706cdd17def6f450b065fd74a0f400
tuned NEWS;

diff -r e5fa061b9570 -r b66202c4e6d9 NEWS
--- 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 ***