--- 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
--- 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.