Admin/components/main
changeset 69343 395c4fb15ea2
parent 69191 96b633ac24f8
child 69374 ab66951166f3
     1.1 --- a/Admin/components/main	Sat Nov 24 16:41:18 2018 +0100
     1.2 +++ b/Admin/components/main	Sat Nov 24 18:56:44 2018 +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-20180113
     1.8 +isabelle_fonts-20181124
     1.9  jdk-11+28
    1.10  jedit_build-20181026
    1.11  jfreechart-1.5.0