Name Last modified Size Description Parent Directory - trivfloat.dtx 2009-04-24 01:06 22K trivfloat.ins 2009-04-24 01:06 2.2K trivfloat.pdf 2009-04-23 22:50 141K