# HG changeset patch
# User wenzelm
# Date 1249395196 -7200
# Node ID 9d70ecf11b7ae835224b3e15b7183aba0ae1491b
# Parent  300b7d5d23d76aeaeda8a3109d310ef09926a751
etc/components;
isabelle makeall operates on all components with IsaMakefile;

diff -r 300b7d5d23d7 -r 9d70ecf11b7a NEWS
--- a/NEWS	Tue Aug 04 16:11:11 2009 +0200
+++ b/NEWS	Tue Aug 04 16:13:16 2009 +0200
@@ -175,6 +175,12 @@
 
 *** System ***
 
+* Support for additional "Isabelle components" via etc/components, see
+also the system manual.
+
+* The isabelle makeall tool now operates on all components with
+IsaMakefile, not just hardwired "logics".
+
 * Discontinued support for Poly/ML 4.x versions.
 
 * Removed "compress" option from isabelle-process and isabelle usedir;