../ rplain.dtx 01-Feb-2006 17:33 4644 rplain.ins 01-Feb-2006 17:33 1252 rplain.pdf 01-Feb-2006 17:26 70K