updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;
authorwenzelm
Mon Oct 24 11:10:17 2016 +0200 (2016-10-24)
changeset 64366e0ab4c0a5a93
parent 64362 8a0fe5469ba0
child 64367 a424f2737646
updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;
Admin/components/components.sha1
Admin/components/main
     1.1 --- a/Admin/components/components.sha1	Sun Oct 23 16:44:17 2016 +0200
     1.2 +++ b/Admin/components/components.sha1	Mon Oct 24 11:10:17 2016 +0200
     1.3 @@ -102,6 +102,7 @@
     1.4  b5f7115384c167559211768eb5fe98138864473b  jedit_build-20151023.tar.gz
     1.5  8ba7b6791be788f316427cdcd805daeaa6935190  jedit_build-20151124.tar.gz
     1.6  c70c5a6c565d435a09a8639f8afd3de360708e1c  jedit_build-20160330.tar.gz
     1.7 +d4e1496c257659cf15458d718f4663cdd95a404e  jedit_build-20161024.tar.gz
     1.8  0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa  jfreechart-1.0.14-1.tar.gz
     1.9  8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
    1.10  c8a19a36adf6cefa779d85f22ded2f4654e68ea5  jortho-1.0-1.tar.gz
     2.1 --- a/Admin/components/main	Sun Oct 23 16:44:17 2016 +0200
     2.2 +++ b/Admin/components/main	Mon Oct 24 11:10:17 2016 +0200
     2.3 @@ -6,7 +6,7 @@
     2.4  Haskabelle-2015
     2.5  isabelle_fonts-20160830
     2.6  jdk-8u112
     2.7 -jedit_build-20160330
     2.8 +jedit_build-20161024
     2.9  jfreechart-1.0.14-1
    2.10  jortho-1.0-2
    2.11  kodkodi-1.5.2