../ README 22-Mar-2021 04:10 1197 regexpatch.dtx 22-Mar-2021 04:10 57K regexpatch.ins 22-Mar-2021 04:10 852 regexpatch.pdf 22-Mar-2021 04:10 524K