Email Gateway (Aug 19 2022 at 14:34): Email Gateway (Aug 19 2022 at 14:34):From: Makarius <makarius@sketis.net>
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.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC