[isabelle] [Isabelle 2019-RC0] jEdit support for \<^const>



Hi,

in jEdit, one can type, e.g., \typ to autocomplete to \<^typ><...>. But \const does not work for getting \<^const>. (Note: the \<^const> antiquotation accepts cartouches, but only when the constant is not polymorphic. E.g., \<^const><bla> works, \<^const><blu(int)> does not, @{const bla} and @{const blu(int)} both work.)

Best wishes,
Dominique.






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