CONTRIBUTORS
changeset 66475 d8e0fd64216f
parent 65330 d83f709b7580
child 66480 4b8d1df8933b
     1.1 --- a/CONTRIBUTORS	Mon Aug 21 17:14:59 2017 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Aug 21 17:15:26 2017 +0200
     1.3 @@ -3,9 +3,17 @@
     1.4  listed as an author in one of the source files of this Isabelle distribution.
     1.5  
     1.6  
     1.7 -Contributions to this Isabelle version
     1.8 +Contributions to Isabelle2017
     1.9  --------------------------------------
    1.10  
    1.11 +* November 2016 - June 2017: Makarius Wenzel
    1.12 +  New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE.
    1.13 +
    1.14 +* 2017: Makarius Wenzel
    1.15 +  Session-qualified theory names (theory imports and ROOT files).
    1.16 +  Prover IDE improvements.
    1.17 +  Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL.
    1.18 +
    1.19  * March 2017: Alasdair Armstrong, University of Sheffield and
    1.20    Simon Foster, University of York
    1.21    Fixed-point theory and Galois Connections in HOL-Algebra.