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.
added jfreechart library, including the old version of iText from its distribution (required for the demo application and examples);
authorwenzelm
Sat, 08 Dec 2012 22:14:39 +0100
changeset 50432 f9d70f49d370
parent 50431 955c4aa44f60
child 50433 9131dadb2bf7
added jfreechart library, including the old version of iText from its distribution (required for the demo application and examples);
Admin/component_repository/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/component_repository/components.sha1	Sat Dec 08 13:25:49 2012 +0100
+++ b/Admin/component_repository/components.sha1	Sat Dec 08 22:14:39 2012 +0100
@@ -18,6 +18,7 @@
 7b012f725ec1cc102dc259df178d511cc7890bba  jedit_build-20120813.tar.gz
 8e1d36f5071e3def2cb281f7fefe9f52352cb88f  jedit_build-20120903.tar.gz
 8fa0c67f59beba369ab836562eed4e56382f672a  jedit_build-20121201.tar.gz
+8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
 6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
 5f95c96bb99927f3a026050f85bd056f37a9189e  kodkodi-1.5.2.tar.gz
 1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb  polyml-5.4.1.tar.gz
--- a/Admin/components/main	Sat Dec 08 13:25:49 2012 +0100
+++ b/Admin/components/main	Sat Dec 08 22:14:39 2012 +0100
@@ -4,6 +4,7 @@
 exec_process-1.0.3
 jdk-7u9
 jedit_build-20121201
+jfreechart-1.0.14
 kodkodi-1.5.2
 polyml-5.5.0
 scala-2.9.2
isabelle