NEWS

--- a/NEWS	Wed Sep 07 11:17:46 2022 +0200
+++ b/NEWS	Wed Sep 07 11:25:49 2022 +0200
@@ -37,6 +37,13 @@
 in building a session.
 
 
+*** Isabelle/jEdit Prover IDE ***
+
+* Command 'print_state' outputs a plain message ("writeln" instead of
+"state"). Thus it is displayed in the Output panel, even if the option
+"editor_output_state" is disabled.
+
+
 *** Isabelle/VSCode Prover IDE ***
 
 * VSCodium, an open-source distribution of VSCode without MS telemetry,