# HG changeset patch
# User wenzelm
# Date 1128437259 -7200
# Node ID 58a306d9f7363052ef201e7e6c31fe67bdfcb953
# Parent  f84b032417acde9e62c044a71f3cf41e8a1ee55e
* Command 'find_theorems': support * wildcard in name: criterion.

diff -r f84b032417ac -r 58a306d9f736 NEWS
--- a/NEWS	Tue Oct 04 16:05:08 2005 +0200
+++ b/NEWS	Tue Oct 04 16:47:39 2005 +0200
@@ -1,6 +1,15 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle release
+----------------------------
+
+*** General ***
+
+* Command 'find_theorems': support "*" wildcard in "name:" criterion.
+
+
+
 New in Isabelle2005 (October 2005)
 ----------------------------------