changeset 73987 | fc363a3b690a |
parent 73963 | 59b6f0462086 |
child 74019 | 08cece720cb5 |
--- a/Admin/components/main Thu Jul 15 16:01:04 2021 +0200 +++ b/Admin/components/main Thu Jul 15 16:35:45 2021 +0200 @@ -8,9 +8,9 @@ flatlaf-1.2 idea-icons-20210508 isabelle_fonts-20210322 -isabelle_setup-20210711 +isabelle_setup-20210715 jdk-15.0.2+7 -jedit_build-20210708 +jedit-20210715 jfreechart-1.5.1 jortho-1.0-2 kodkodi-1.5.6-1