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 73124 802647edfe7b
parent 73108 981a383610df
child 73126 1105c42722dc 
--- a/CONTRIBUTORS	Sun Jan 10 15:32:28 2021 +0100
+++ b/CONTRIBUTORS	Sun Jan 10 15:35:24 2021 +0100
@@ -7,10 +7,10 @@
 -----------------------------
 
 * January 2021: Manuel Eberl
-  Characteristic of a semiring
+  Characteristic of a semiring.
 
 * January 2021: Manuel Eberl
-  Algebraic integers in HOL-Computational_Algebra
+  Algebraic integers in HOL-Computational_Algebra.
 
 * December 2020: Stepan Holub
   Contributed lemmas for theory HOL.List.
isabelle