CONTRIBUTORS
changeset 70024 f4843d791e70
parent 69907 4343c1bfa52d
child 70164 1f163f772da3
--- a/CONTRIBUTORS	Tue Apr 02 13:02:03 2019 +0200
+++ b/CONTRIBUTORS	Tue Apr 02 13:15:37 2019 +0200
@@ -3,31 +3,41 @@
 listed as an author in one of the source files of this Isabelle distribution.
 
 
-Contributions to this Isabelle version
---------------------------------------
-
-* January 2019: Florian Haftmann
-  Clarified syntax and congruence rules for big operators on sets
-  involving the image operator.
+Contributions to Isabelle2019
+-----------------------------
 
-* January 2919: Florian Haftmann
-  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.
+* February/March 2019: Makarius Wenzel
+  Stateless management of export artifacts in the Isabelle/HOL code generator.
 
 * February 2019: Manuel Eberl
   Exponentiation by squaring, used to implement "power" in monoid_mult and
   fast modular exponentiation.
 
 * February 2019: Manuel Eberl
-  Carmichael's function, primitive roots in residue rings, more properties
-  of the order in residue rings.
+  Carmichael's function, primitive roots in residue rings, more properties of
+  the order in residue rings.
+
+* February 2019: Jeremy Sylvestre
+  Formal Laurent Series and overhaul of Formal power series.
+
+* January 2019: Florian Haftmann
+  Clarified syntax and congruence rules for big operators on sets involving
+  the image operator.
+
+* January 2019: Florian Haftmann
+  Renovation of code generation, particularly export into session data and
+  proper strings and proper integers based on zarith for OCaml.
 
 * January 2019: Andreas Lochbihler
-  New implementation for case_of_simps based on Code_Lazy's
-  pattern matching elimination algorithm.
+  New implementation for case_of_simps based on Code_Lazy's pattern matching
+  elimination algorithm.
+
+* November/December 2018: Makarius Wenzel
+  Support for Isabelle/Haskell applications of Isabelle/PIDE.
+
+* August/September 2018: Makarius Wenzel
+  Improvements of headless Isabelle/PIDE session and server, and systematic
+  exports from theory documents.
 
 * December 2018: Florian Haftmann
   Generic executable sorting algorithms based on executable comparators.