# HG changeset patch
# User haftmann
# Date 1550214671 0
# Node ID 5929b172c6fe2483961a968cb10fdcfa1901496c
# Parent  9d94a6c95113dd5d094f2cd48896f5196ef429bc
CONTRIBUTORS

diff -r 9d94a6c95113 -r 5929b172c6fe CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Feb 15 07:11:09 2019 +0000
+++ b/CONTRIBUTORS	Fri Feb 15 07:11:11 2019 +0000
@@ -6,6 +6,14 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* January 2019: Florian Haftmann
+  Clarified syntax and congruence rules for big operators on sets
+  involving the image operator.
+
+* January 2919: Florian Haftmann
+  Renovation of code generation, particularly proper strings for OCaml
+  end export into session data.
+
 * February 2019: Jeremy Sylvestre
   Formal Laurent Series and overhaul of Formal power series.
 
@@ -21,8 +29,11 @@
   New implementation for case_of_simps based on Code_Lazy's
   pattern matching elimination algorithm.
 
+* December 2018: Florian Haftmann
+  Generic executable sorting algorithms based on executable comparators.
+
 * October 2018: Mathias Fleury
-  Proof reconstruction for the SMT solver veriT in the smt method
+  Proof reconstruction for the SMT solver veriT in the smt method.
 
 
 Contributions to Isabelle2018