Admin/components/main
changeset 70072 54dc58086351
parent 70052 a670d20c600d
child 70083 96776eb41854
     1.1 --- a/Admin/components/main	Fri Apr 05 23:45:35 2019 +0200
     1.2 +++ b/Admin/components/main	Sat Apr 06 22:05:25 2019 +0200
     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-20190309
     1.8 +isabelle_fonts-20190406
     1.9  jdk-11.0.2+9
    1.10  jedit_build-20190224
    1.11  jfreechart-1.5.0