moved contribution to right release
authorblanchet
Mon Oct 31 15:48:27 2016 +0100 (23 months ago)
changeset 64433d4829dc875fb
parent 64432 c381bfd068fd
child 64434 af5235830c16
moved contribution to right release
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Mon Oct 31 14:21:23 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Oct 31 15:48:27 2016 +0100
     1.3 @@ -52,18 +52,18 @@
     1.4    Tight Poly/ML integration.
     1.5    More Isabelle/Scala system programming modules (e.g. SSH, Mercurial).
     1.6  
     1.7 -* January 2016: Florian Haftmann, TUM
     1.8 -  Abolition of compound operators INFIMUM and SUPREMUM for complete lattices.
     1.9 -
    1.10 -
    1.11 -Contributions to Isabelle2016
    1.12 ------------------------------
    1.13 -
    1.14  * Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,
    1.15    Ecole polytechnique, Andreas Lochbihler, ETH Zurich, Andrei Popescu,
    1.16    Middlesex University, and Dmitriy Traytel, ETH Zurich
    1.17    'corec' command and friends.
    1.18  
    1.19 +* January 2016: Florian Haftmann, TUM
    1.20 +  Abolition of compound operators INFIMUM and SUPREMUM for complete lattices.
    1.21 +
    1.22 +
    1.23 +Contributions to Isabelle2016
    1.24 +-----------------------------
    1.25 +
    1.26  * Winter 2016: Manuel Eberl, TUM
    1.27    Support for real exponentiation ("powr") in the "approximation" method.
    1.28    (This was removed in Isabelle 2015 due to a changed definition of "powr".)