Name                    Last modified       Size  Description

 Parent Directory        02-Dec-2002 18:09      -  
 timing2s.tfm            17-May-1994 00:00     1k  
 timing2s.pk             17-May-1994 00:00     2k  
 timing2s.mf             26-May-1994 00:00     1k  
 timing2.tfm             17-May-1994 00:00     1k  
 timing2.pk              17-May-1994 00:00     2k  
 timing2.mf              26-May-1994 00:00     1k  
 timing1s.tfm            17-May-1994 00:00     1k  
 timing1s.pk             17-May-1994 00:00     1k  
 timing1s.mf             26-May-1994 00:00     1k  
 timing1.tfm             17-May-1994 00:00     1k  
 timing1.pk              17-May-1994 00:00     1k  
 timing1.mf              26-May-1994 00:00     1k  
 timing.tex              17-May-1994 00:00     9k  
 timing.sty              15-May-1994 00:00     7k  
 timing.mf               14-May-1994 00:00    15k  
 timing.dvi              17-May-1994 00:00    16k  
 tim0594.upl             17-May-1994 00:00     1k  
 read.me                 17-May-1994 00:00     1k  
 prozt1.tex              08-Apr-1994 00:00     2k