multiple scaling suffices with \installfont
Tue, 2 Feb 1999 14:50:09 +0100 (MET)
Your problems are most likely casued by a bug in \get_file_name, whose
current definition is
The \setint should really be a \resetint. I have intended to fix this in
the new version I am working on, but I haven't gotten round to it yet.