Name Last modified Size Description Parent Directory - regexpatch.pdf 20-May-2015 23:24 530K regexpatch.ins 20-May-2015 23:24 852 regexpatch.dtx 20-May-2015 23:24 57K