[isabelle-dev] NEWS: jedit_print_mode

Makarius 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 
candidates.


 	Makarius


More information about the isabelle-dev mailing list