added NEWS item for wwwfind
authorkleing
Fri, 20 Nov 2009 22:28:39 +1100
changeset 33818 aa00c583f594
parent 33817 f6a4da31f2f1
child 33819 cad5c38373d8
added NEWS item for wwwfind
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;