# HG changeset patch
# User wenzelm
# Date 1376073111 -7200
# Node ID 90edb0669845596d79270d05aad3fa4a526c6edf
# Parent  383c1496d0aa3d6f0a1616611e4d1da451103ce7
NEWS;

diff -r 383c1496d0aa -r 90edb0669845 NEWS
--- a/NEWS	Fri Aug 09 20:30:11 2013 +0200
+++ b/NEWS	Fri Aug 09 20:31:51 2013 +0200
@@ -59,6 +59,9 @@
 * Support for automatic tools in HOL, which try to prove or disprove
 toplevel theorem statements.
 
+* Dockable window "Find" provides query operations for formal entities
+(GUI front-end to 'find_theorems' command).
+
 * Dockable window "Documentation" provides access to Isabelle
 documentation.