jEdit 4.2pre4 now available
Submitted by Monday, 4 August, 2003 - 03:30
on
jEdit 4.2pre4 is now available. This release does not bring much in terms of new features, but it fixes a lot of bugs. In other news, a new plugin batch is coming up soon.