diff -r 8d9b5289304c -r 0811cfce1f5b NEWS
--- a/NEWS	Sat Mar 22 23:03:11 2025 +0100
+++ b/NEWS	Sun Mar 23 15:12:20 2025 +0100
@@ -17,6 +17,20 @@
 vs. State in particular.
 
 
+*** Isabelle/jEdit Prover IDE ***
+
+* The command-line tool "isabelle jedit" now supports option "-o" as in
+"isabelle build", but it takes persistent preferences into account. When
+options are loaded, command-line options take precedence. When options
+are saved, command-line options are ignored, but original preferences
+take precedence. Example:
+
+  isabelle jedit -o threads=1
+
+This runs Isabelle/jEdit with sequential evaluation in ML, without
+affecting stored preferences of option "threads".
+
+
 *** HOL ***
 
 * Theory "HOL.Fun":