NEWS
changeset 54881 dff57132cf18
parent 54864 a064732223ad
child 54890 cb892d835803
     1.1 --- a/NEWS	Mon Dec 30 12:58:13 2013 +0100
     1.2 +++ b/NEWS	Mon Dec 30 20:35:17 2013 +0100
     1.3 @@ -25,6 +25,11 @@
     1.4  * Document panel: simplied interaction where every single mouse click
     1.5  (re)opens document via desktop environment or as jEdit buffer.
     1.6  
     1.7 +* Option "jedit_print_mode" (see also "Plugin Options / Isabelle /
     1.8 +General") allows to specify additional print modes for the prover
     1.9 +process, without requiring old-fashioned command-line invocation of
    1.10 +"isabelle jedit -m MODE".
    1.11 +
    1.12  
    1.13  *** HOL ***
    1.14