(DIR) ..                                                                             
 (TXT) detex.1                                            1993-Jan-03 23:07     0.8 KB
 (TXT) dvips.1                                            1993-Jan-03 23:07    15.3 KB
 (TXT) dviselect.1                                        1993-Jan-03 23:07     3.8 KB