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