Re: [isabelle] Nitpick Output/jEdit Support for Subscripts



Hi Tjark,

> Nitpick's output frequently contains subscripts: e.g., "a⇘1⇙"
> 
> With Isabelle/jEdit (2012, Linux), these are not displayed properly on
> my system: the arrows are merely shown as black rectangles in the jEdit
> Output pane.

I can't solve the black rectangles, but the arrows are sure starting to get on my nerves. ;) See change be4bf5f6b2ef.

Cheers,

Jasmin






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