../ README 24-Apr-2009 06:06 504 trivfloat.dtx 24-Apr-2009 06:06 22K trivfloat.ins 24-Apr-2009 06:06 2225 trivfloat.pdf 24-Apr-2009 03:50 141K