CONTRIBUTORS
authorhaftmann
Wed Mar 13 20:44:39 2019 +0100 (2 months ago)
changeset 699074343c1bfa52d
parent 69906 55534affe445
child 69908 1bd74a0944b3
child 69912 dd55d2c926d9
CONTRIBUTORS
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Sun Mar 10 15:16:45 2019 +0000
     1.2 +++ b/CONTRIBUTORS	Wed Mar 13 20:44:39 2019 +0100
     1.3 @@ -11,8 +11,8 @@
     1.4    involving the image operator.
     1.5  
     1.6  * January 2919: Florian Haftmann
     1.7 -  Renovation of code generation, particularly proper strings for OCaml
     1.8 -  end export into session data.
     1.9 +  Renovation of code generation, particularly export into session data
    1.10 +  and proper strings and proper integers based on zarith for OCaml.
    1.11  
    1.12  * February 2019: Jeremy Sylvestre
    1.13    Formal Laurent Series and overhaul of Formal power series.