Re: [isabelle] Highlight sorry in jEdit
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.
isabelle-dev is the mailing list for following the ongoing development
process (usually with changeset ids).
isabelle-users for everything else, including Isabelle/ML in user space
(without changeset ids).
This archive was generated by a fusion of
Pipermail (Mailman edition) and