announce advanced support for Isabelle sessions and build management;
authorwenzelm
Sat Jul 28 20:12:47 2012 +0200 (2012-07-28)
changeset 48585a82910dd2270
parent 48584 8026c852cc10
child 48586 500c6eb6c6dc
announce advanced support for Isabelle sessions and build management;
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Sat Jul 28 20:07:21 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Sat Jul 28 20:12:47 2012 +0200
     1.3 @@ -6,8 +6,12 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* July 2012: Makarius Wenzel, Université Paris-Sud / LRI
     1.8 +  Advanced support for Isabelle sessions and build management, notably
     1.9 +  "isabelle build".
    1.10 +
    1.11  * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA
    1.12 -  Simproc for rewriting set comprehensions into pointfree expressions
    1.13 +  Simproc for rewriting set comprehensions into pointfree expressions.
    1.14  
    1.15  
    1.16  Contributions to Isabelle2012
     2.1 --- a/NEWS	Sat Jul 28 20:07:21 2012 +0200
     2.2 +++ b/NEWS	Sat Jul 28 20:12:47 2012 +0200
     2.3 @@ -68,6 +68,11 @@
     2.4  
     2.5  *** System ***
     2.6  
     2.7 +* Advanced support for Isabelle sessions and build management, see
     2.8 +"system" manual for the chapter of that name, especially the "isabelle
     2.9 +build" tool and its examples.  Eventual INCOMPATIBILITY, as isabelle
    2.10 +usedir / make / makeall are rendered obsolete.
    2.11 +
    2.12  * Discontinued support for Poly/ML 5.2.1, which was the last version
    2.13  without exception positions and advanced ML compiler/toplevel
    2.14  configuration.