1.1 --- a/CONTRIBUTORS	Sat Apr 14 12:36:11 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Sat Apr 14 12:46:45 2012 +0200
     1.3 @@ -3,21 +3,25 @@
     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 Isabelle2012
    1.10 +-----------------------------
    1.11  
    1.12 -* March 2012: Christian Sternagel, Japan Advanced Institute of Science and Technology
    1.13 +* March 2012: Christian Sternagel, Japan Advanced Institute of Science
    1.14 +  and Technology
    1.15    Consolidated theory of relation composition.
    1.16  
    1.17  * March 2012: Nik Sultana, University of Cambridge
    1.18    HOL/TPTP parser and import facilities.
    1.19  
    1.20 +* March 2012: Cezary Kaliszyk, University of Innsbruck and
    1.21 +  Alexander Krauss, QAware GmbH
    1.22 +  Faster and more scalable Import mechanism for HOL Light proofs.
    1.23 +
    1.24  * January 2012: Florian Haftmann, TUM, et. al.
    1.25    (Re-)Introduction of the "set" type constructor.
    1.26  
    1.27 -* March 2012: Cezary Kaliszyk, University of Innsbruck and
    1.28 -  Alexander Krauss, QAware GmbH
    1.29 -  Faster and more scalable Import mechanism for HOL Light proofs.
    1.30 +* 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI
    1.31 +  Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE.
    1.32  
    1.33  
    1.34  Contributions to Isabelle2011-1