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.
updated for release;
authorwenzelm
Tue, 05 Mar 2024 20:58:11 +0100
changeset 79791 0f95dfe27682
parent 79790 3e5a06add554
child 79792 98f009f56400
updated for release;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Tue Mar 05 20:41:07 2024 +0100
+++ b/CONTRIBUTORS	Tue Mar 05 20:58:11 2024 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* 2023/2024: Makarius Wenzel and Fabian Huch
+  More support for distributed build clusters.
+
 * October 2023: Fabian Huch
   Support for SMTP mailing.
isabelle