NEWS

--- a/NEWS	Mon Dec 30 12:58:13 2013 +0100
+++ b/NEWS	Mon Dec 30 20:35:17 2013 +0100
@@ -25,6 +25,11 @@
 * Document panel: simplied interaction where every single mouse click
 (re)opens document via desktop environment or as jEdit buffer.
 
+* 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".
+
 
 *** HOL ***