author | kleing |
Sat, 21 Nov 2009 11:47:38 +1100 | |
changeset 33827 | 3ccd0be065ea |
parent 33826 | 7f12ab745298 |
child 33828 | e7289ca31aa0 |
--- 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.