jEdit 4.2pre10 now available
Submitted by Saturday, 20 March, 2004 - 07:12on
jEdit 4.2pre10 is now available for download. This release features a large number of bug fixes, several new and updated macros, and improved documentation. jEdit 4.2final is getting closer, so report those bugs, and come say hi on irc.freenode.net #jedit with the IRC plugin! A full changelog is available.