updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;
authorwenzelm
Thu Apr 19 21:14:52 2018 +0200 (16 months ago)
changeset 680079e8214deed3e
parent 68003 9b89d831dc80
child 68008 9dff12eab305
updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;
Admin/components/components.sha1
Admin/components/main
     1.1 --- a/Admin/components/components.sha1	Thu Apr 19 12:34:52 2018 +0200
     1.2 +++ b/Admin/components/components.sha1	Thu Apr 19 21:14:52 2018 +0200
     1.3 @@ -127,6 +127,7 @@
     1.4  7bcb202e13358dd750e964b2f747664428b5d8b3  jedit_build-20180417.tar.gz
     1.5  0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa  jfreechart-1.0.14-1.tar.gz
     1.6  8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
     1.7 +d911f63a5c9b4c7335bb73f805cb1711ce017a84  jfreechart-1.5.0.tar.gz
     1.8  c8a19a36adf6cefa779d85f22ded2f4654e68ea5  jortho-1.0-1.tar.gz
     1.9  2155e0bdbd29cd3d2905454de2e7203b9661d239  jortho-1.0-2.tar.gz
    1.10  ffe179867cf5ffaabbb6bb096db9bdc0d7110065  jortho-1.0.tar.gz
     2.1 --- a/Admin/components/main	Thu Apr 19 12:34:52 2018 +0200
     2.2 +++ b/Admin/components/main	Thu Apr 19 21:14:52 2018 +0200
     2.3 @@ -7,7 +7,7 @@
     2.4  isabelle_fonts-20180113
     2.5  jdk-8u162
     2.6  jedit_build-20180417
     2.7 -jfreechart-1.0.14-1
     2.8 +jfreechart-1.5.0
     2.9  jortho-1.0-2
    2.10  kodkodi-1.5.2
    2.11  nunchaku-0.5