Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper latin "A" instead of greek "Alpha";
authorwenzelm
Mon, 06 Jan 2025 16:35:59 +0100
changeset 81737 fc26731980dc
parent 81736 30ae92baf0c3
child 81738 bcb793b951c0
proper latin "A" instead of greek "Alpha";
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Mon Jan 06 16:01:52 2025 +0100
+++ b/CONTRIBUTORS	Mon Jan 06 16:35:59 2025 +0100
@@ -20,7 +20,7 @@
 Contributions to Isabelle2024
 -----------------------------
 
-* Αpril 2024: Manuel Eberl, Katharina Kreuzer
+* April 2024: Manuel Eberl, Katharina Kreuzer
   Some material on finite fields and the characteristic of a ring in HOL,
   HOL-Computational_Algebra, and HOL-Number_Theory.
   Also a type constructor for the algebraic closure of a field.
isabelle