--- a/CONTRIBUTORS Sun Mar 10 15:16:45 2019 +0000
+++ b/CONTRIBUTORS Wed Mar 13 20:44:39 2019 +0100
@@ -11,8 +11,8 @@
involving the image operator.
* January 2919: Florian Haftmann
- Renovation of code generation, particularly proper strings for OCaml
- end export into session data.
+ Renovation of code generation, particularly export into session data
+ and proper strings and proper integers based on zarith for OCaml.
* February 2019: Jeremy Sylvestre
Formal Laurent Series and overhaul of Formal power series.