1. 2012-04-24 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net 2. 2011-08-31 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net 3. 2011-08-25 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net 4. 2011-08-23 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net 5. 2011-08-23 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net 6. 2011-08-19 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net 7. 2011-08-18 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net 8. 2011-08-18 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net 9. 2011-08-18 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net 10. 2011-08-17 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net 11. 2011-08-17 [ jEdit-devel ] [ jedit-Bugs-3393035 ] customized tex jedit-dev SourceForge.net