equal
deleted
inserted
replaced
319 * Support for additional "Isabelle components" via etc/components, see |
319 * Support for additional "Isabelle components" via etc/components, see |
320 also the system manual. |
320 also the system manual. |
321 |
321 |
322 * The isabelle makeall tool now operates on all components with |
322 * The isabelle makeall tool now operates on all components with |
323 IsaMakefile, not just hardwired "logics". |
323 IsaMakefile, not just hardwired "logics". |
|
324 |
|
325 * New component "isabelle wwwfind [start|stop|status] [HEAP]" |
|
326 Provides web interface for find_theorems on HEAP. Depends on lighttpd |
|
327 webserver being installed. |
324 |
328 |
325 * Discontinued support for Poly/ML 4.x versions. |
329 * Discontinued support for Poly/ML 4.x versions. |
326 |
330 |
327 * Removed "compress" option from isabelle-process and isabelle usedir; |
331 * Removed "compress" option from isabelle-process and isabelle usedir; |
328 this is always enabled. |
332 this is always enabled. |