Name Last modified Size Description
Parent Directory - gawk.alpha_exe 1994-10-08 22:45 259K gawk.alpha_olb 1994-05-20 10:54 912K gawk.alpha_opt 1994-05-20 10:56 243 gawk.exe 1994-10-08 22:43 132K gawk.olb 1994-05-20 11:14 230K gawk.opt 1994-05-20 11:21 268 link.com 1994-05-20 13:29 232 texindex.alpha_obj 1994-05-20 13:25 63K texindex.obj 1994-05-20 13:26 15K