1. 2003-06-25 Re: [ jEdit-users ] Setting =?iso-8859-1?q?jEdit=B4s? jedit-use Steve Jakob 2. 2003-06-25 Re: [ jEdit-users ] Setting =?iso-8859-1?q?jEdit=B4s? jedit-use Steve Jakob 3. 2002-02-13 Re: [ jEdit-users ] Setting =?iso-8859-1?Q?jEdit=B4s_ jedit-use Bruno Furtado 4. 2002-02-13 Re: [ jEdit-users ] Setting =?iso-8859-1?Q?jEdit=B4s_ jedit-use Bruno Furtado 5. 2002-02-13 [ jEdit-users ] Setting =?iso-8859-1?Q?jEdit=B4s_=22j jedit-use Bruno Furtado