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.
CONTRIBUTORS
changeset 75386 9d67ca1a57e3
parent 75364 366f85a10407
child 75401 010a77180dff 
--- 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
isabelle