Program menurut texedit.sf.net

  • texedit Gratis

    Texedit adalah editor teks GTKMM yang sederhana dan cepat, terutama dimaksudkan untuk menjadi editor / frontend TeX. Ini menggunakan perkiraan TRE perpustakaan yang cocok untuk menangani regeksps POSIX, dan melakukan penyorot