[isabelle] [install] font-problem
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!
This archive was generated by a fusion of
Pipermail (Mailman edition) and