wwwfind support currently for Linux only
authorkleing
Sat, 21 Nov 2009 11:47:38 +1100
changeset 33827 3ccd0be065ea
parent 33826 7f12ab745298
child 33828 e7289ca31aa0
wwwfind support currently for Linux only
NEWS
--- a/NEWS	Fri Nov 20 15:29:56 2009 -0800
+++ b/NEWS	Sat Nov 21 11:47:38 2009 +1100
@@ -361,7 +361,7 @@
 
 * New component "isabelle wwwfind [start|stop|status] [HEAP]"
 Provides web interface for find_theorems on HEAP. Depends on lighttpd 
-webserver being installed.
+webserver being installed. Currently supported on Linux only.
 
 * Discontinued support for Poly/ML 4.x versions.