CONTRIBUTORS
changeset 70024 f4843d791e70
parent 69907 4343c1bfa52d
child 70164 1f163f772da3
     1.1 --- a/CONTRIBUTORS	Tue Apr 02 13:02:03 2019 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Apr 02 13:15:37 2019 +0200
     1.3 @@ -3,31 +3,41 @@
     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 ---------------------------------------
     1.9 -
    1.10 -* January 2019: Florian Haftmann
    1.11 -  Clarified syntax and congruence rules for big operators on sets
    1.12 -  involving the image operator.
    1.13 +Contributions to Isabelle2019
    1.14 +-----------------------------
    1.15  
    1.16 -* January 2919: Florian Haftmann
    1.17 -  Renovation of code generation, particularly export into session data
    1.18 -  and proper strings and proper integers based on zarith for OCaml.
    1.19 -
    1.20 -* February 2019: Jeremy Sylvestre
    1.21 -  Formal Laurent Series and overhaul of Formal power series.
    1.22 +* February/March 2019: Makarius Wenzel
    1.23 +  Stateless management of export artifacts in the Isabelle/HOL code generator.
    1.24  
    1.25  * February 2019: Manuel Eberl
    1.26    Exponentiation by squaring, used to implement "power" in monoid_mult and
    1.27    fast modular exponentiation.
    1.28  
    1.29  * February 2019: Manuel Eberl
    1.30 -  Carmichael's function, primitive roots in residue rings, more properties
    1.31 -  of the order in residue rings.
    1.32 +  Carmichael's function, primitive roots in residue rings, more properties of
    1.33 +  the order in residue rings.
    1.34 +
    1.35 +* February 2019: Jeremy Sylvestre
    1.36 +  Formal Laurent Series and overhaul of Formal power series.
    1.37 +
    1.38 +* January 2019: Florian Haftmann
    1.39 +  Clarified syntax and congruence rules for big operators on sets involving
    1.40 +  the image operator.
    1.41 +
    1.42 +* January 2019: Florian Haftmann
    1.43 +  Renovation of code generation, particularly export into session data and
    1.44 +  proper strings and proper integers based on zarith for OCaml.
    1.45  
    1.46  * January 2019: Andreas Lochbihler
    1.47 -  New implementation for case_of_simps based on Code_Lazy's
    1.48 -  pattern matching elimination algorithm.
    1.49 +  New implementation for case_of_simps based on Code_Lazy's pattern matching
    1.50 +  elimination algorithm.
    1.51 +
    1.52 +* November/December 2018: Makarius Wenzel
    1.53 +  Support for Isabelle/Haskell applications of Isabelle/PIDE.
    1.54 +
    1.55 +* August/September 2018: Makarius Wenzel
    1.56 +  Improvements of headless Isabelle/PIDE session and server, and systematic
    1.57 +  exports from theory documents.
    1.58  
    1.59  * December 2018: Florian Haftmann
    1.60    Generic executable sorting algorithms based on executable comparators.