Re: [isabelle] Highlight sorry in jEdit

On 19.11.2012 09:02, Makarius wrote:
On Sun, 18 Nov 2012, Tobias Nipkow wrote:

Just to be clear on that: reports from the development front are
welcome here, in particular as a reply to a question/suggestion.

In such cases the correct answer on this list is like "the issue has
been addressed recently, so it will probably be in the next release",
without specific references to certain changesets.

Which is just what Johannes did in his first mail.

  -- Lars

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