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.
update to current go-1.24.3;
authorwenzelm
Wed, 07 May 2025 11:58:10 +0200
changeset 82614 6a2808a48c51
parent 82613 f22704ac73c3
child 82615 3e20da339306
update to current go-1.24.3;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Wed May 07 11:00:17 2025 +0200
+++ b/etc/settings	Wed May 07 11:58:10 2025 +0200
@@ -190,7 +190,7 @@
 ### Go
 ###
 
-ISABELLE_GO_VERSION="1.22.1"
+ISABELLE_GO_VERSION="1.24.3"
 
 
 ###
isabelle