| changeset 74030 | 39e05601faeb |
| parent 74029 | 0701ff55780d |
| child 74033 | a5e2654cfe28 |
--- a/Admin/components/main Sat Jul 17 13:42:21 2021 +0200 +++ b/Admin/components/main Sat Jul 17 21:31:15 2021 +0200 @@ -8,9 +8,9 @@ flatlaf-1.2 idea-icons-20210508 isabelle_fonts-20210322 -isabelle_setup-20210717 +isabelle_setup-20210717-1 jdk-15.0.2+7 -jedit-20210715 +jedit-20210717 jfreechart-1.5.1 jortho-1.0-2 kodkodi-1.5.6-1