Admin/components/main
changeset 70066 6dc5506ad449
parent 70052 02e0458d342f
child 70084 63721ee8c86c
     1.1 --- a/Admin/components/main	Sat Mar 09 13:24:59 2019 +0100
     1.2 +++ b/Admin/components/main	Sat Mar 09 13:35:49 2019 +0100
     1.3 @@ -4,7 +4,7 @@
     1.4  csdp-6.x
     1.5  cvc4-1.5-4
     1.6  e-2.0-2
     1.7 -isabelle_fonts-20190210
     1.8 +isabelle_fonts-20190309
     1.9  jdk-11.0.2+9
    1.10  jedit_build-20190224
    1.11  jfreechart-1.5.0