--- a/NEWS Wed Jul 30 13:44:52 2025 +0200
+++ b/NEWS Wed Jul 30 13:45:16 2025 +0200
@@ -31,7 +31,8 @@
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.
+it by an error message. Messages only include proof states, if the
+underlying session database has been build with option "show_states".
*** Isabelle/jEdit Prover IDE ***