# HG changeset patch
# User wenzelm
# Date 1343499167 -7200
# Node ID a82910dd22700cb6371ed4f629a60ddb70868d51
# Parent  8026c852cc10f00676783cecaf48d6012e1b5e67
announce advanced support for Isabelle sessions and build management;

diff -r 8026c852cc10 -r a82910dd2270 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Jul 28 20:07:21 2012 +0200
+++ b/CONTRIBUTORS	Sat Jul 28 20:12:47 2012 +0200
@@ -6,8 +6,12 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* July 2012: Makarius Wenzel, Université Paris-Sud / LRI
+  Advanced support for Isabelle sessions and build management, notably
+  "isabelle build".
+
 * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA
-  Simproc for rewriting set comprehensions into pointfree expressions
+  Simproc for rewriting set comprehensions into pointfree expressions.
 
 
 Contributions to Isabelle2012
diff -r 8026c852cc10 -r a82910dd2270 NEWS
--- a/NEWS	Sat Jul 28 20:07:21 2012 +0200
+++ b/NEWS	Sat Jul 28 20:12:47 2012 +0200
@@ -68,6 +68,11 @@
 
 *** System ***
 
+* Advanced support for Isabelle sessions and build management, see
+"system" manual for the chapter of that name, especially the "isabelle
+build" tool and its examples.  Eventual INCOMPATIBILITY, as isabelle
+usedir / make / makeall are rendered obsolete.
+
 * Discontinued support for Poly/ML 5.2.1, which was the last version
 without exception positions and advanced ML compiler/toplevel
 configuration.