1. 2005-06-05 Re: [ jEdit-users ] Launching external programs jedit-use Vampire 2. 2005-06-05 Re: [ jEdit-users ] Launching external programs jedit-use Vampire 3. 2005-06-02 [ jEdit-users ] Launching external programs jedit-use Coussement Christo