Name                    Last modified       Size  Description

 Parent Directory        03-Dec-2002 19:18      -  
 dvistuff.c              12-Mar-1993 00:00    37k  
 dvi2tty.patch           02-Jun-1996 00:00     3k  
 dvi2tty.h               12-Mar-1993 00:00     4k  
 dvi2tty.c               12-Mar-1993 00:00    24k  
 dvi2tty.1               12-Mar-1993 00:00     4k  
 dvi2tty-latin1.patch    04-Aug-1998 00:00     3k  
 dvi2tty-german_umlau..> 29-Nov-2000 00:00     5k  
 disdvi.c                12-Mar-1993 00:00    15k  
 commands.h              12-Mar-1993 00:00     3k  
 README.ORG              12-Mar-1993 00:00     1k  
 README                  12-Mar-1993 00:00     2k  
 Makefile                12-Mar-1993 00:00     1k  
 MANIFEST                12-Mar-1993 00:00     1k  
 DVI.format              12-Mar-1993 00:00     3k  
 00Description           29-Jul-1995 00:00     1k