tuned;
authorwenzelm
Fri Sep 08 19:31:43 2017 +0200 (22 months ago)
changeset 66648e9d8ff531700
parent 66647 6666fced78cc
child 66649 2230dc7a1764
tuned;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Fri Sep 08 19:26:28 2017 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Sep 08 19:31:43 2017 +0200
     1.3 @@ -6,6 +6,12 @@
     1.4  Contributions to Isabelle2017
     1.5  -----------------------------
     1.6  
     1.7 +* September 2017: Lawrence Paulson
     1.8 +  HOL-Analysis, e.g. simplicial complexes, Jordan Curve Theorem.
     1.9 +
    1.10 +* September 2017: Jasmin Blanchette
    1.11 +  Further integration of Nunchaku model finder.
    1.12 +
    1.13  * November 2016 - June 2017: Makarius Wenzel
    1.14    New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE.
    1.15  
    1.16 @@ -14,12 +20,6 @@
    1.17    Prover IDE improvements.
    1.18    Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL.
    1.19  
    1.20 -* September 2017: Jasmin Blanchette
    1.21 -  Further integration of Nunchaku model finder.
    1.22 -
    1.23 -* September 2017: Lawrence Paulson
    1.24 -  HOL-Analysis, e.g., simplicial complexes, Jordan Curve Theorem.
    1.25 -
    1.26  * August 2017: Andreas Lochbihler, ETH Zurich
    1.27    type of unordered pairs (HOL-Library.Uprod)
    1.28