1. 2011-12-08 [ jEdit-devel ] [ jedit-Plugin Bugs-1745409 ] GdbPlug jedit-dev SourceForge.net 2. 2011-12-05 [ jEdit-devel ] [ jedit-Plugin Bugs-1745409 ] GdbPlug jedit-dev SourceForge.net 3. 2007-07-14 [ jEdit-devel ] [ jedit-Plugin Bugs-1745175 ] TextToo jedit-dev SourceForge.net 4. 2007-06-29 [ jEdit-devel ] [ jedit-Plugin Bugs-1745409 ] GdbPlug jedit-dev SourceForge.net 5. 2007-06-29 [ jEdit-devel ] [ jedit-Plugin Bugs-1745175 ] TextToo jedit-dev SourceForge.net