1. 2017-01-20 [3] [ jEdit-users ] How install two versions of jEdit jedit-use Vampire 2. 2017-01-20 [4] [ jEdit-users ] Plugins mirrors jedit-use Vampire 3. 2017-01-02 [1] Re: [ jEdit-users ] xml plugin error jedit-use Eric Le Lay