Re: [isabelle] Nitpick Output/jEdit Support for Subscripts
> 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and