1. 2002-11-27 Re: [ jEdit-users ] JEdit performance jedit-use saimon 2. 2002-11-26 RE: [ jEdit-users ] JEdit performance jedit-use Matthew Flower 3. 2002-11-26 RE: [ jEdit-users ] JEdit performance jedit-use Stuart Barlow 4. 2002-11-26 RE: [ jEdit-users ] JEdit performance jedit-use Matthew Flower 5. 2002-11-26 RE: [ jEdit-users ] JEdit performance jedit-use Ryan Grove 6. 2002-11-26 RE: [ jEdit-users ] JEdit performance jedit-use Todd Papaioannou 7. 2002-11-25 Re: [ jEdit-users ] JEdit performance jedit-use Randall R Schulz 8. 2002-11-25 [ jEdit-users ] JEdit performance jedit-use Chris Angelico