[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.

Best regards,

Ceterum censeo: Isabelle needs an issue tracker.

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