1. 2003-12-31 Re: [ jEdit-users ] php & html editing using xml plug jedit-use Rick Owen 2. 2003-12-30 Re: [ jEdit-users ] php & html editing using xml plug jedit-use Slava Pestov 3. 2003-12-16 [ jEdit-users ] php & html editing using xml plugin jedit-use Surface_Bt_-_Buday