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 81737 fc26731980dc
parent 81709 0b088316b8a3
child 81757 4d15005da582 
--- 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