# HG changeset patch
# User wenzelm
# Date 1398545481 -7200
# Node ID 951c6a9ac3d7003168dad42c7dc70da8ca6757b0
# Parent  ef5df088e0229f237486c66b887df41d7176d398
NEWS;

diff -r ef5df088e022 -r 951c6a9ac3d7 NEWS
--- a/NEWS	Sat Apr 26 22:43:22 2014 +0200
+++ b/NEWS	Sat Apr 26 22:51:21 2014 +0200
@@ -109,6 +109,9 @@
 * Document panel: simplied interaction where every single mouse click
 (re)opens document via desktop environment or as jEdit buffer.
 
+* Find panel: support for 'find_consts' in addition to
+'find_theorems'.
+
 * 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