jEdit 4.2pre9 now available
Submitted by Saturday, 7 February, 2004 - 19:49
on
jEdit 4.2pre9 is now available. I expect to have a couple more pre-releases, then 4.2final -- so send in your bug reports, and come by #jedit on irc.FreeNode.net to say hi.