equal
deleted
inserted
replaced
359 * The isabelle makeall tool now operates on all components with |
359 * The isabelle makeall tool now operates on all components with |
360 IsaMakefile, not just hardwired "logics". |
360 IsaMakefile, not just hardwired "logics". |
361 |
361 |
362 * New component "isabelle wwwfind [start|stop|status] [HEAP]" |
362 * New component "isabelle wwwfind [start|stop|status] [HEAP]" |
363 Provides web interface for find_theorems on HEAP. Depends on lighttpd |
363 Provides web interface for find_theorems on HEAP. Depends on lighttpd |
364 webserver being installed. |
364 webserver being installed. Currently supported on Linux only. |
365 |
365 |
366 * Discontinued support for Poly/ML 4.x versions. |
366 * Discontinued support for Poly/ML 4.x versions. |
367 |
367 |
368 * Removed "compress" option from isabelle-process and isabelle usedir; |
368 * Removed "compress" option from isabelle-process and isabelle usedir; |
369 this is always enabled. |
369 this is always enabled. |