[isabelle] jEdit 5.2pre1

The jEdit guys have now released jEdit 5.2pre1 for general testing, see also http://www.jedit.org/index.php?page=download

Isabelle/jEdit usually follows the stable releases of jEdit: 5.2 is planned for late summer 2014.

Any problems with the jEdit text editor may be placed on various trackers here http://sourceforge.net/projects/jedit -- keeping in mind that Isabelle/jEdit is a somewhat augmented application on top of it. In particular, the wrong name "jEdit" for the Prover IDE will cause some confusion and misunderstandings over there.

Like many other open-source projects, there is a slight decline in enthusism and idealism recently. This is an opportunity to reverse the trend, and show that there are professional users of the platform who care about its continued maintenance.


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