Admin/components/main
changeset 64313 ae7c11573922
parent 64123 a967b5a07f92
child 64366 e0ab4c0a5a93
     1.1 --- a/Admin/components/main	Wed Oct 19 17:39:04 2016 +0200
     1.2 +++ b/Admin/components/main	Wed Oct 19 18:14:42 2016 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  e-1.8
     1.5  Haskabelle-2015
     1.6  isabelle_fonts-20160830
     1.7 -jdk-8u102
     1.8 +jdk-8u112
     1.9  jedit_build-20160330
    1.10  jfreechart-1.0.14-1
    1.11  jortho-1.0-2