--- a/NEWS Sat Apr 26 14:53:22 2014 +0200
+++ b/NEWS Sat Apr 26 22:57:51 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