[isabelle-dev] NEWS: jedit_print_mode
makarius at sketis.net
Tue Dec 31 11:15:13 CET 2013
* Option "jedit_print_mode" (see also "Plugin Options / Isabelle /
General") allows to specify additional print modes for the prover
process, without requiring old-fashioned command-line invocation of
"isabelle jedit -m MODE".
This refers to Isabelle/dff57132cf18.
With the introduction of "app" wrappers for all platforms, some
command-line options became inaccessible, but nobody reported any
scientifically correct observations within 2-3 months of testing release
More information about the isabelle-dev