[isabelle] Add abbreviations in jEdit



hi all

I try to add some abbreviations to the framework such as (\<models>
and \<Diamond>). but is not appear in jEdit. however, when I add \<in>
is appear. I do not know where is the problem and why to of
abbreviations appear and other not.

Could you help me,,

Best Regards,





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