# HG changeset patch
# User kleing
# Date 1258764458 -39600
# Node ID 3ccd0be065ea6ae37081b63f754481fcb17e694c
# Parent  7f12ab745298d1a985618a5222387b50f625fadd
wwwfind support currently for Linux only

diff -r 7f12ab745298 -r 3ccd0be065ea 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.