![](https://secure.gravatar.com/avatar/5955e8e90611e77ccbfc7721b6112027.jpg?s=120&d=mm&r=g)
22 Jul
2015
22 Jul
'15
8:01 a.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