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.
Admin/components/main
changeset 82699 a3e7732b0393
parent 82658 5f985cda3095 
--- a/Admin/components/main	Thu Jun 12 16:54:28 2025 +0200
+++ b/Admin/components/main	Fri Jun 13 15:18:16 2025 +0200
@@ -12,7 +12,7 @@
 flatlaf-3.6-2
 foiltex-2.1.4b
 isabelle_fonts-20241227
-isabelle_setup-20240327
+isabelle_setup-20250613
 javamail-20250122
 jdk-21.0.6
 jedit-20250521
isabelle