[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,
Tjark

-- 
Ceterum censeo: Isabelle needs an issue tracker.






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