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).


	Makarius





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