--- 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 ***