NEWS: Support for "isabelle jedit -o OPTION"

[Makarius]

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


This refers to Isabelle/0811cfce1f5b.