1. 2000-07-31 [5] [ jEdit-announce ] plugin updates jedit-ann mike dillon 2. 2000-07-31 [1] [ jEdit-announce ] jEdit 2.5.1 now available jedit-ann Slava Pestov 3. 2000-07-29 [1] [ jEdit-announce ] plugin addition jedit-ann mike dillon 4. 2000-07-26 [1] [ jEdit-announce ] jEdit 2.6pre1 now available jedit-ann Slava Pestov 5. 2000-07-21 [2] [ jEdit-announce ] plugin update jedit-ann mike dillon 6. 2000-07-07 [1] [ jEdit-announce ] Rejoice! 2.5final is here! jedit-ann Slava Pestov