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 flatlaf-2.6, which is the last release before recent moves towards 3.0 / 3.1 / 3.1.1;
authorwenzelm
Mon, 10 Jul 2023 21:06:53 +0200
changeset 78285 98c53bcb9f07
parent 78280 865b44cbaad1
child 78286 68f1c4ca48c3
update to flatlaf-2.6, which is the last release before recent moves towards 3.0 / 3.1 / 3.1.1;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sun Jul 09 17:41:02 2023 +0200
+++ b/Admin/components/components.sha1	Mon Jul 10 21:06:53 2023 +0200
@@ -107,6 +107,7 @@
 9534b721b7b78344f3225067ee4df28a5440b87e flatlaf-1.6.4.tar.gz
 212a0f1f867511722024cc60156fd71872a16f92 flatlaf-1.6.tar.gz
 6d4dbb6f2bde5804298d9008e3edceb0b9ee20ae flatlaf-2.4.tar.gz
+31d6abd58a4c2f7522f14283dfe04e2801a6e828 flatlaf-2.6.tar.gz
 b1c40ce6c087da7e70e221ddd3fcadfa569acb2f foiltex-2.1.4b.tar.gz
 f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
 71259aa46134e6cf2c6473b4fc408051b3336490 gnu-utils-20211030.tar.gz
--- a/Admin/components/main	Sun Jul 09 17:41:02 2023 +0200
+++ b/Admin/components/main	Mon Jul 10 21:06:53 2023 +0200
@@ -7,7 +7,7 @@
 e-2.6-1
 easychair-3.5
 eptcs-1.7.0
-flatlaf-2.4
+flatlaf-2.6
 foiltex-2.1.4b
 idea-icons-20210508
 isabelle_fonts-20211004
isabelle