# HG changeset patch
# User haftmann
# Date 1648561467 -7200
# Node ID 366f85a104071431d387813ebdb32fb2e198b673
# Parent  cf09060add1c37a73b03eb31918fa26a60f1cb05
NEWS and CONTRIBUTORS

diff -r cf09060add1c -r 366f85a10407 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Mar 29 12:50:30 2022 +0200
+++ b/CONTRIBUTORS	Tue Mar 29 15:44:27 2022 +0200
@@ -9,6 +9,9 @@
 * April - August 2021: Denis Paluca and Fabian Huch, TU München
   Various improvements to Isabelle/VSCode.
 
+* March 2021: Florian Haftmann, TU München
+  More ambitious minimazation of case expressions in generated code.
+
 
 Contributions to Isabelle2021-1
 -------------------------------
diff -r cf09060add1c -r 366f85a10407 NEWS
--- a/NEWS	Tue Mar 29 12:50:30 2022 +0200
+++ b/NEWS	Tue Mar 29 15:44:27 2022 +0200
@@ -89,6 +89,8 @@
 * (Co)datatype package:
   - Lemma map_ident_strong is now generated for all BNFs.
 
+* More ambitious minimazation of case expressions in generated code.
+
 
 *** System ***