Re: [isabelle] (inner?) syntax highlighting of ― ‹...› and ⌦‹...›

> > For now, I'm back to using the legacy (* ... *) syntax, which, btw,
> > is
> > slightly easier to type.
> Same here.
> However, the legacy syntax has been discontinued in the development
> version, so this issue will be important for the next release.

So +1 from me to have the next release with a usable mechanism for ad-
hoc commenting-out of parts of inner syntax. At least for my style of
Isabelle development and proof exploration this is essential to have.

The \cancel\open ...\close syntax is slightly more annoying to type
than (* ... *) was, but would be OK if properly highlighted as
commented out.


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