[isabelle-dev] Fwd: Isabelle-10-Sept

Makarius 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 mailing list