2012-09-12 added sumEN_tupled_balanced
blanchet [Wed, 12 Sep 2012 17:26:05 +0200] rev 49335
added sumEN_tupled_balanced
2012-09-12 load fonts into JavaFX as well;
wenzelm [Wed, 12 Sep 2012 16:54:24 +0200] rev 49334
load fonts into JavaFX as well;
2012-09-12 some support for actual HTML rendering;
wenzelm [Wed, 12 Sep 2012 16:27:44 +0200] rev 49333
some support for actual HTML rendering;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip