1. 2001-10-30 Re: [ jEdit-devel ] Plugin install/uninstall scripts jedit-dev Dennis Sosnoski 2. 2001-10-30 Re: [ jEdit-devel ] Plugin install/uninstall scripts jedit-dev Slava Pestov 3. 2001-10-27 Re: [ jEdit-devel ] Plugin install/uninstall scripts jedit-dev Slava Pestov 4. 2001-10-26 Re: [ jEdit-devel ] Plugin install/uninstall scripts jedit-dev Dennis Sosnoski 5. 2001-10-26 [ jEdit-devel ] Plugin install/uninstall scripts jedit-dev Philip Mateescu