# HG changeset patch
# User wenzelm
# Date 1753875916 -7200
# Node ID 5511f6a66fdc491561e5f089bd1b11ddfbd7f85f
# Parent  2b7080493211950ba2051c94a482396a72f31dc8
more NEWS;

diff -r 2b7080493211 -r 5511f6a66fdc NEWS
--- 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 ***