| FILENAME | SIZE | DATE | DESCRIPTION | |
|---|---|---|---|---|
| include.awk | 645 | 1992-01-05 | ||
| makefile.in | 2366 | 1992-09-13 | ||
| regex.aux | 6096 | 1992-09-17 | ||
| regex.cps | 4163 | 1992-09-17 | ||
| regex.info | 118241 | 1992-09-17 | ||
| regex.texi | 118985 | 1992-09-17 | ||
| texinfo.tex | 117215 | 1992-09-17 | ||
| xregex.texi | 113406 | 1992-09-16 |
TOTAL: 8