1. 2003-11-04 RE: [ jEdit-users ] Features and issues in JEdit 4.2 jedit-use Eric.Ladner 2. 2003-11-04 RE: [ jEdit-users ] Features and issues in JEdit 4.2 jedit-use Slava Pestov 3. 2003-11-04 RE: [ jEdit-users ] Features and issues in JEdit 4.2 jedit-use Eric.Ladner 4. 2003-11-04 Re: [ jEdit-users ] Features and issues in JEdit 4.2 jedit-use Gerd Knops 5. 2003-10-29 Re: [ jEdit-users ] Features and issues in JEdit 4.2 jedit-use Slava Pestov 6. 2003-10-28 [ jEdit-users ] Features and issues in JEdit 4.2 jedit-use Henrique Matos