Paper/Paper.thy
Thu, 01 Apr 2010 14:50:58 +0200 Cezary Kaliszyk hfill for right aligning single table cells.
less more (0) -30 -10 -1 tip