22 Jul
2015
22 Jul
'15
2:01 p.m.
On 07/20/2015 10:47 PM, Wolfgang Schuster wrote:
Pablo Rodriguez 20. Juli 2015 17:08
Many thanks for your fix, Hans.
It works perfectly fine. The font was an improved conversion from a Type1 font I got from CTAN.
Improved in which way?
Wolfgang, at least, I added the space character (which is missing in the original font). I don’t remember if I included other improvements. Pablo -- http://www.ousia.tk