tuned;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51111 2e1bc14724b5bd21f7a0cc06cca1db825212c2e0
write_pdf for JFreeChart;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51127 5cf1604b9ef550ecc2872f6551097b66e7240d1d