# HG changeset patch
# User wenzelm
# Date 1751309080 -7200
# Node ID 476627cac12efa7f8e602fc0fc2293540828e95c
# Parent  fc4a579585cd03c314d498be3d57a4f45c6ff069
NEWS;

diff -r fc4a579585cd -r 476627cac12e NEWS
--- a/NEWS	Mon Jun 30 13:10:44 2025 +0200
+++ b/NEWS	Mon Jun 30 20:44:40 2025 +0200
@@ -16,6 +16,13 @@
 state output (if enabled). This affects Isabelle/jEdit panels for Output
 vs. State in particular.
 
+* A Prover IDE session, e.g. in Isabelle/jEdit or Isabelle/VSCode, is
+now able to load markup and messages from the underlying session
+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.
+
 
 *** Isabelle/jEdit Prover IDE ***