texedit

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

Texedit to prosty i szybki edytor tekstu GTKMM, który ma zostać edytorem /frontendem TeX. Używa przybliżonej biblioteki TRE do obsługi posix regexps i nie regexp na podstawie wyróżniania składni dowolnego języka. Obecnie texedit działa pod

historia wersji

  • Wersja N/A opublikowany na 2011-08-08
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-08-08

Szczegóły programu