1. 2007-05-08 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 2. 2007-05-08 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 3. 2006-11-23 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 4. 2006-11-12 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 5. 2006-11-12 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 6. 2006-10-16 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 7. 2006-10-15 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 8. 2006-10-15 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 9. 2006-10-15 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 10. 2006-10-14 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 11. 2006-10-14 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net 12. 2006-10-14 [ jEdit-devel ] [ jedit-Plugin Bugs-1577274 ] Console jedit-dev SourceForge.net