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