CONTRIBUTORS
changeset 41512 8445396e1e39
parent 40379 7ea01f842830
child 41531 a392a18676e9
     1.1 --- a/CONTRIBUTORS	Tue Jan 11 19:55:34 2011 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Jan 11 20:01:57 2011 +0100
     1.3 @@ -3,8 +3,8 @@
     1.4  who is listed as an author in one of the source files of this Isabelle
     1.5  distribution.
     1.6  
     1.7 -Contributions to this Isabelle version
     1.8 ---------------------------------------
     1.9 +Contributions to Isabelle2011
    1.10 +-----------------------------
    1.11  
    1.12  * October 2010: Bogdan Grechuk, University of Edinburgh
    1.13    Extended convex analysis in Multivariate Analysis.
    1.14 @@ -26,7 +26,7 @@
    1.15  
    1.16  
    1.17  Contributions to Isabelle2009-2
    1.18 ---------------------------------------
    1.19 +-------------------------------
    1.20  
    1.21  * 2009/2010: Stefan Berghofer, Alexander Krauss, and Andreas Schropp, TUM,
    1.22    Makarius Wenzel, TUM / LRI