Programmi di www.michaels-website.de/gedit-latex-plugin/

  • Gedit LaTeX Plugin Gratuito

    Un plugin per l'editor Gnome gedit che ti supporta nella modifica di documenti LaTeX e bibliografie BibTeX.