Email Gateway (Mar 23 2025 at 15:56): Email Gateway (Mar 23 2025 at 15:56):From: Makarius <makarius@sketis.net>
* 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.
Last updated: Apr 18 2025 at 20:21 UTC