[isabelle-dev] Fwd: Isabelle-10-Sept
makarius at sketis.net
Tue Sep 10 18:24:56 CEST 2013
On Tue, 10 Sep 2013, Alfio Martini wrote:
> Related to the sidekick pane mention below, instead of the operator
> symbols, the pane shows (empty) boxes.
> On the other hand, the (propositional) operators of HOL-formulae are
> still not properly shown in the sidekick pane as the image attached
> shows. I am not sure if this is a "feature" or a known bug, but this is
> problem is also present in the current version.
That is a feature of official Unicode: you never know what you have in
your system fonts.
The IsabelleText font avoids that, but I cannot force it on every single
text component that might get displayed somewhere.
More information about the isabelle-dev