NEWS

--- a/NEWS	Fri Nov 20 18:36:44 2009 +1100
+++ b/NEWS	Fri Nov 20 22:28:39 2009 +1100
@@ -322,6 +322,10 @@
 * The isabelle makeall tool now operates on all components with
 IsaMakefile, not just hardwired "logics".
 
+* New component "isabelle wwwfind [start|stop|status] [HEAP]"
+Provides web interface for find_theorems on HEAP. Depends on lighttpd 
+webserver being installed.
+
 * Discontinued support for Poly/ML 4.x versions.
 
 * Removed "compress" option from isabelle-process and isabelle usedir;