Tue, 01 Sep 2015 12:06:17 +0800 added pretty formatting to string rendering
Richard Penman [Tue, 01 Sep 2015 12:06:17 +0800] rev 59
added pretty formatting to string rendering
(0) -30 -10 -1 +1 +10 +30 +100 tip