--- 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":