# HG changeset patch
# User wenzelm
# Date 1399467246 -7200
# Node ID 2f73ef9eb272ad2e0da57531afd6566825c57ae3
# Parent  beea3ee118afe2e4a48941dfc66daea223ea44cf
NEWS;

diff -r beea3ee118af -r 2f73ef9eb272 NEWS
--- 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