Name Last modified Size Description
Parent Directory - gawk_manual.com 1990-12-09 00:40 868 gawk.dvi 1990-12-09 00:31 461K texindex.exe 1990-12-09 00:23 13K texindex.obj 1990-12-09 00:19 13K texinfo.tex 1989-11-13 18:25 73K texindex.c 1989-11-13 18:24 42K