1. 2003-12-17 Re: [ jEdit-users ] jDiff patch for 4.2? jedit-use Xephyrus 2. 2003-12-17 Re: [ jEdit-users ] jDiff patch for 4.2? jedit-use Pete Prodoehl 3. 2003-12-17 Re: [ jEdit-users ] jDiff patch for 4.2? jedit-use Mario Fischer 4. 2003-12-17 [ jEdit-users ] jDiff patch for 4.2? jedit-use Xephyrus