NEWS
changeset 56901 2f73ef9eb272
parent 56889 48a745e1bde7
child 56923 c062543d380e
     1.1 --- a/NEWS	Wed May 07 14:51:51 2014 +0200
     1.2 +++ b/NEWS	Wed May 07 14:54:06 2014 +0200
     1.3 @@ -117,6 +117,9 @@
     1.4  operations for the context.  Minor incompatibility in keyboard
     1.5  shortcuts etc.: replace action isabelle-find by isabelle-query.
     1.6  
     1.7 +* Search field for all output panels ("Output", "Query", "Info" etc.)
     1.8 +to highlight text via regular expression.
     1.9 +
    1.10  * Option "jedit_print_mode" (see also "Plugin Options / Isabelle /
    1.11  General") allows to specify additional print modes for the prover
    1.12  process, without requiring old-fashioned command-line invocation of