1. 2000-08-14 Re: [ jEdit-users ] Re:Expansion of abbrevs jedit-use Slava Pestov 2. 2000-08-14 RE: [ jEdit-users ] Re:Expansion of abbrevs jedit-use Jamie LaScolea 3. 2000-08-14 Re: [ jEdit-users ] Re:Expansion of abbrevs jedit-use Slava Pestov 4. 2000-08-13 [ jEdit-users ] Re:Expansion of abbrevs jedit-use Ken McDonald