Name Last modified Size Parent Directory - regexpatch.pdf 2021-03-22 06:10 524K regexpatch.ins 2021-03-22 06:10 852 regexpatch.dtx 2021-03-22 06:10 57K