../ README 06-Nov-2009 15:16 5714 pauldoc.dtx 06-Nov-2009 15:16 20K pauldoc.ins 06-Nov-2009 15:16 1864 pauldoc.pdf 06-Nov-2009 15:16 156K pauldoc.sty 06-Nov-2009 15:16 3804