Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 75386 9d67ca1a57e3
parent 75376 c2532adbfa3e
child 75401 010a77180dff 
--- 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 ***
isabelle