Name                    Last modified       Size  Description

 Parent Directory        02-Dec-2002 02:59      -  
 OT1put.fd               11-Aug-1998 00:00     2k  
 cleanup.bat             11-Aug-1998 00:00     1k  
 fonts.lst               11-Aug-1998 00:00     1k  
 makefont.tex            11-Aug-1998 00:00     2k  
 maketfm.bat             11-Aug-1998 00:00     2k  
 mkdirs.bat              11-Aug-1998 00:00     1k  
 newnames.bat            11-Aug-1998 00:00     1k  
 psfonts.new             11-Aug-1998 00:00     1k  
 putb7t.vpl              11-Aug-1998 00:00    64k  
 putb8a.afm              11-Aug-1998 00:00    21k  
 putb8a.pfb              11-Aug-1998 00:00    36k  
 putb8a.pl               11-Aug-1998 00:00    19k  
 putb8r.pl               11-Aug-1998 00:00    28k  
 putbc7t.vpl             11-Aug-1998 00:00    66k  
 putbi7t.vpl             11-Aug-1998 00:00    66k  
 putbi8a.afm             11-Aug-1998 00:00    21k  
 putbi8a.pfb             11-Aug-1998 00:00    37k  
 putbi8a.pl              11-Aug-1998 00:00    19k  
 putbi8r.pl              11-Aug-1998 00:00    29k  
 putbic7t.vpl            11-Aug-1998 00:00    69k  
 putbn7t.vpl             11-Aug-1998 00:00    72k  
 putbni7t.vpl            11-Aug-1998 00:00    74k  
 putbo7t.vpl             11-Aug-1998 00:00    66k  
 putbo8r.pl              11-Aug-1998 00:00    29k  
 putbu7t.vpl             11-Aug-1998 00:00    63k  
 putbu8r.pl              11-Aug-1998 00:00    29k  
 putfonts.bat            11-Aug-1998 00:00     1k  
 putr7t.vpl              11-Aug-1998 00:00    64k  
 putr8a.afm              11-Aug-1998 00:00    22k  
 putr8a.pfb              11-Aug-1998 00:00    35k  
 putr8a.pl               11-Aug-1998 00:00    19k  
 putr8r.pl               11-Aug-1998 00:00    28k  
 putrc7t.vpl             11-Aug-1998 00:00    69k  
 putri7t.vpl             11-Aug-1998 00:00    65k  
 putri8a.afm             11-Aug-1998 00:00    21k  
 putri8a.pfb             11-Aug-1998 00:00    37k  
 putri8a.pl              11-Aug-1998 00:00    19k  
 putri8r.pl              11-Aug-1998 00:00    29k  
 putric7t.vpl            11-Aug-1998 00:00    69k  
 putrn7t.vpl             11-Aug-1998 00:00    73k  
 putrni7t.vpl            11-Aug-1998 00:00    73k  
 putro7t.vpl             11-Aug-1998 00:00    67k  
 putro8r.pl              11-Aug-1998 00:00    29k  
 putru7t.vpl             11-Aug-1998 00:00    63k  
 putru8r.pl              11-Aug-1998 00:00    29k  
 putvftf.bat             11-Aug-1998 00:00     2k  
 testltx.tex             11-Aug-1998 00:00     2k  
 testpln.tex             11-Aug-1998 00:00     2k  
 vfinst.vlg              11-Aug-1998 00:00     4k