--- a/NEWS Wed May 07 14:51:51 2014 +0200
+++ b/NEWS Wed May 07 14:54:06 2014 +0200
@@ -117,6 +117,9 @@
operations for the context. Minor incompatibility in keyboard
shortcuts etc.: replace action isabelle-find by isabelle-query.
+* Search field for all output panels ("Output", "Query", "Info" etc.)
+to highlight text via regular expression.
+
* 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