Re: [isabelle] jEdit: Abbreviations
On 02/14/2013 11:04 PM, Gottfried Barrow wrote:
For this special case, the abbreviations <. and .> are very handy. Then
you also do not need any spacing.
How did I find those? Consult the "Symbol" tab in Isabelle/jEdit. Go to
the symbol you are interested in and hover the mouse over the
corresponding button. If there is an ASCII abbreviation in place, it
will be indicated by "abbrev:", e.g., "abbrev: <." for "\<langle>".
This archive was generated by a fusion of
Pipermail (Mailman edition) and