# HG changeset patch
# User kleing
# Date 1258716519 -39600
# Node ID aa00c583f594caea3fb910f2b50b2ed822a4d5df
# Parent  f6a4da31f2f1293cca2cb86ef44b8ef64249802e
added NEWS item for wwwfind

diff -r f6a4da31f2f1 -r aa00c583f594 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;