Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to jfreechart-1.5.3;
authorwenzelm
Sat, 02 Oct 2021 17:32:23 +0200
changeset 74413 54a064957ff3
parent 74412 b6a561f9c828
child 74414 4e58bc7215a0
updated to jfreechart-1.5.3;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sat Oct 02 17:21:54 2021 +0200
+++ b/Admin/components/components.sha1	Sat Oct 02 17:32:23 2021 +0200
@@ -236,6 +236,7 @@
 8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
 d911f63a5c9b4c7335bb73f805cb1711ce017a84  jfreechart-1.5.0.tar.gz
 d84b7d8ef273afec55284327fca7dd20f5ecb77a  jfreechart-1.5.1.tar.gz
+6fa0c221ef55919b684449f0111a8112358e94ff  jfreechart-1.5.3.tar.gz
 c8a19a36adf6cefa779d85f22ded2f4654e68ea5  jortho-1.0-1.tar.gz
 2155e0bdbd29cd3d2905454de2e7203b9661d239  jortho-1.0-2.tar.gz
 ffe179867cf5ffaabbb6bb096db9bdc0d7110065  jortho-1.0.tar.gz
--- a/Admin/components/main	Sat Oct 02 17:21:54 2021 +0200
+++ b/Admin/components/main	Sat Oct 02 17:32:23 2021 +0200
@@ -11,7 +11,7 @@
 isabelle_setup-20210922
 jdk-17+35
 jedit-20210802
-jfreechart-1.5.1
+jfreechart-1.5.3
 jortho-1.0-2
 kodkodi-1.5.6-1
 nunchaku-0.5
isabelle