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 70216 40f19372a723
parent 70164 1f163f772da3
child 70265 a8238fd25541 
--- a/CONTRIBUTORS	Tue Apr 30 11:57:45 2019 +0100
+++ b/CONTRIBUTORS	Tue Apr 30 13:01:22 2019 +0100
@@ -10,7 +10,7 @@
   Homology and supporting lemmas on topology and group theory
 
 * April 2019: Paulo de Vilhena and Martin Baillon
-  Group theory developments towards proving algebraic closure
+  Group theory developments, esp. algebraic closure of a field
 
 * February/March 2019: Makarius Wenzel
   Stateless management of export artifacts in the Isabelle/HOL code generator.
isabelle