[isabelle] jEdit 5.2pre1
The jEdit guys have now released jEdit 5.2pre1 for general testing, see
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