CONTRIBUTORS
changeset 48585 a82910dd2270
parent 48124 87c831e30f0a
child 48977 ae12b92c145a
     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