| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:50:00 +0100 |
wenzelm |
tuned --- avoid deprecated conversions between certain number type;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 14:59:42 +0100 |
wenzelm |
static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 15:38:18 +0100 |
wenzelm |
avoid loading of font file, to eliminate "Illegal reflective access by com.lowagie.text.pdf.MappedRandomAccessFile$1 (iText-2.1.5.jar) to method java.nio.DirectByteBuffer.cleaner()" -- due to com.lowagie.text.pdf.TrueTypeFont.process() / RandomAccessFileOrArray;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 14:00:22 +0100 |
wenzelm |
more explicit Isabelle_Fonts.Entry;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 11:28:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 01 Jun 2017 21:43:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 18 May 2017 11:17:53 +0200 |
wenzelm |
more JFreeChart operations;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2017 16:09:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 14 Sep 2015 21:39:24 +0200 |
wenzelm |
provide FontMapper for embedded fonts;
|
file |
diff |
annotate
|
| Thu, 25 Sep 2014 12:22:12 +0200 |
wenzelm |
support for PNG output;
|
file |
diff |
annotate
|
| Thu, 14 Feb 2013 21:31:25 +0100 |
wenzelm |
write_pdf for JFreeChart;
|
file |
diff |
annotate
|
| Wed, 13 Feb 2013 13:31:38 +0100 |
wenzelm |
file system operations for Graphics2D output;
|
file |
diff |
annotate
|