Programmes par www.michaels-website.de/gedit-latex-plugin/

Un plugin pour l’éditeur Gnome gedit qui vous accompagne dans l’édition de documents LaTeX et bibliographies BibTeX.