author | kleing |
Fri, 20 Nov 2009 22:28:39 +1100 | |
changeset 33818 | aa00c583f594 |
parent 33817 | f6a4da31f2f1 |
child 33819 | cad5c38373d8 |
--- 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;