Index of /pub/texlive/historic/fonts/utilities/fontinst/fontinst-1.800/source
Name
Last modified
Size
Parent Directory
-
fontinst.ins
1998-06-29 17:17
307
fontinst.dvi
1998-06-29 17:17
226K
fontinst.dtx
1998-06-29 17:17
148K