CONTRIBUTORS
changeset 62284 1fd4831e9f93
parent 62216 5fb86150a579
parent 62236 3a326bc9d4d8
child 62343 24106dc44def
     1.1 --- a/CONTRIBUTORS	Wed Feb 10 15:49:05 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Feb 12 22:36:48 2016 +0100
     1.3 @@ -14,10 +14,6 @@
     1.4    Support for real exponentiation ("powr") in the "approximation" method.
     1.5    (This was removed in Isabelle 2015 due to a changed definition of "powr")
     1.6  
     1.7 -* Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM
     1.8 -  Proof of the central limit theorem: includes weak convergence,
     1.9 -  characteristic functions, and Levy's uniqueness and continuity theorem.
    1.10 -
    1.11  * Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge
    1.12    General, homology form of Cauchy's integral theorem and supporting material
    1.13    (ported from HOL Light).
    1.14 @@ -25,6 +21,13 @@
    1.15  * Winter 2015/16: Gerwin Klein, NICTA
    1.16    New print_record command.
    1.17  
    1.18 +* May - December 2015: Makarius Wenzel
    1.19 +  Prover IDE improvements.
    1.20 +  More Isar language elements.
    1.21 +  Document language refinements.
    1.22 +  Poly/ML debugger integration.
    1.23 +  Improved multi-platform and multi-architecture support.
    1.24 +
    1.25  * Winter 2015: Manuel Eberl, TUM
    1.26    The radius of convergence of power series and various summability tests.
    1.27    Harmonic numbers and the Euler-Mascheroni constant.
    1.28 @@ -63,6 +66,10 @@
    1.29    Command to lift a BNF structure on the raw type to the abstract type for
    1.30    typedefs.
    1.31  
    1.32 +* Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM
    1.33 +  Proof of the central limit theorem: includes weak convergence,
    1.34 +  characteristic functions, and Levy's uniqueness and continuity theorem.
    1.35 +
    1.36  
    1.37  Contributions to Isabelle2015
    1.38  -----------------------------