Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
vfinst.vlg | 1998-08-10 18:00 | 3.6K | |
testpln.tex | 1998-08-10 18:00 | 2.1K | |
testltx.tex | 1998-08-10 18:00 | 2.1K | |
putvftf.bat | 1998-08-10 18:00 | 2.2K | |
putru8r.pl | 1998-08-10 18:00 | 29K | |
putru7t.vpl | 1998-08-10 18:00 | 63K | |
putro8r.pl | 1998-08-10 18:00 | 29K | |
putro7t.vpl | 1998-08-10 18:00 | 67K | |
putrni7t.vpl | 1998-08-10 18:00 | 73K | |
putrn7t.vpl | 1998-08-10 18:00 | 73K | |
putric7t.vpl | 1998-08-10 18:00 | 69K | |
putri8r.pl | 1998-08-10 18:00 | 29K | |
putri8a.pl | 1998-08-10 18:00 | 19K | |
putri8a.pfb | 1998-08-10 18:00 | 37K | |
putri8a.afm | 1998-08-10 18:00 | 21K | |
putri7t.vpl | 1998-08-10 18:00 | 65K | |
putrc7t.vpl | 1998-08-10 18:00 | 69K | |
putr8r.pl | 1998-08-10 18:00 | 28K | |
putr8a.pl | 1998-08-10 18:00 | 19K | |
putr8a.pfb | 1998-08-10 18:00 | 35K | |
putr8a.afm | 1998-08-10 18:00 | 22K | |
putr7t.vpl | 1998-08-10 18:00 | 64K | |
putfonts.bat | 1998-08-10 18:00 | 550 | |
putbu8r.pl | 1998-08-10 18:00 | 29K | |
putbu7t.vpl | 1998-08-10 18:00 | 63K | |
putbo8r.pl | 1998-08-10 18:00 | 29K | |
putbo7t.vpl | 1998-08-10 18:00 | 66K | |
putbni7t.vpl | 1998-08-10 18:00 | 74K | |
putbn7t.vpl | 1998-08-10 18:00 | 72K | |
putbic7t.vpl | 1998-08-10 18:00 | 69K | |
putbi8r.pl | 1998-08-10 18:00 | 29K | |
putbi8a.pl | 1998-08-10 18:00 | 19K | |
putbi8a.pfb | 1998-08-10 18:00 | 37K | |
putbi8a.afm | 1998-08-10 18:00 | 21K | |
putbi7t.vpl | 1998-08-10 18:00 | 66K | |
putbc7t.vpl | 1998-08-10 18:00 | 66K | |
putb8r.pl | 1998-08-10 18:00 | 28K | |
putb8a.pl | 1998-08-10 18:00 | 19K | |
putb8a.pfb | 1998-08-10 18:00 | 36K | |
putb8a.afm | 1998-08-10 18:00 | 21K | |
putb7t.vpl | 1998-08-10 18:00 | 64K | |
psfonts.new | 1998-08-10 18:00 | 672 | |
newnames.bat | 1998-08-10 18:00 | 200 | |
mkdirs.bat | 1998-08-10 18:00 | 237 | |
maketfm.bat | 1998-08-10 18:00 | 2.3K | |
makefont.tex | 1998-08-10 18:00 | 2.0K | |
fonts.lst | 1998-08-10 18:00 | 539 | |
cleanup.bat | 1998-08-10 18:00 | 379 | |
OT1put.fd | 1998-08-10 18:00 | 2.1K | |