[isabelle] [install] font-problem



Hey,

I have a little problem:
in the *goal* Buffer every variable has an additional
prefix and an additional postfix.

If the variable is colored green then
the prefix is an i with an accent aigu and
the postfix is an e with an accent grave.

If the variable is colored blue then
both accents are accent grave.

This seems to be some font-problem.

I would appreciate any help to resolve this problem!

bye!

Sven





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.