[ jEdit-users ] jEdit 4.2final now available

[Slava P. <sl...@je...>]

Hello everybody,

This is it. jEdit 4.2final is now available from <http://www.jedit.org>.

List of changes since 4.1final: <http://www.jedit.org/42docs/news42/>.
List of changes since 4.2pre15: <http://www.jedit.org/CHANGES42.txt>.

If you're upgrading from 4.1, remove all your plugins and download a 
fresh set from within 4.2.

Have fun.

Slava