Programmes par texedit.sf.net

  • texedit Gratuit

    Texedit est un éditeur de texte GTKMM simple et rapide, principalement destiné à devenir un éditeur TeX / frontend. Il utilise la bibliothèque d’appariement approximatif TRE pour gérer les réexps POSIX, et fait la mise en sur