# HG changeset patch
# User wenzelm
# Date 1648805224 -7200
# Node ID 9d67ca1a57e3cf41926e7e42111054b4e67dc128
# Parent  5fbdb35305ee871a4243327faacc50608adaeed7
tuned spelling;

diff -r 5fbdb35305ee -r 9d67ca1a57e3 CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Apr 01 11:21:58 2022 +0200
+++ b/CONTRIBUTORS	Fri Apr 01 11:27:04 2022 +0200
@@ -10,7 +10,7 @@
   Various improvements to Isabelle/VSCode.
 
 * March 2021: Florian Haftmann, TU München
-  More ambitious minimazation of case expressions in generated code.
+  More ambitious minimization of case expressions in generated code.
 
 
 Contributions to Isabelle2021-1
diff -r 5fbdb35305ee -r 9d67ca1a57e3 NEWS
--- a/NEWS	Fri Apr 01 11:21:58 2022 +0200
+++ b/NEWS	Fri Apr 01 11:27:04 2022 +0200
@@ -95,7 +95,7 @@
 * (Co)datatype package:
   - Lemma map_ident_strong is now generated for all BNFs.
 
-* More ambitious minimazation of case expressions in generated code.
+* More ambitious minimization of case expressions in generated code.
 
 
 *** System ***