3 ms·
From a quick scan, it appears that file was last updated in September of 2020, but has been around since 1991. https://www.tug.org/applications/fontinst/mail/te
by cratermoon 3y ago
From a quick scan, it appears that file was last updated in September of 2020, but has been around since 1991. https://www.tug.org/applications/fontinst/mail/tex-fonts/1991/msg00010.html https://www.tug.org/applications/fontinst/mail/tex-fonts/199...