../ README 06-Nov-2009 22:16 5714 pauldoc.dtx 06-Nov-2009 22:16 19976 pauldoc.ins 06-Nov-2009 22:16 1864 pauldoc.pdf 06-Nov-2009 22:16 159963 pauldoc.sty 06-Nov-2009 22:16 3804