gummi: gummi (Lightweight Latex editor)
gummi:
gummi: Gummi is a lightweight Latex editor written in Python/GTK released as
gummi: open source under a dual MIT/Beerware license. Latex is a powerful
gummi: mark-up language that is widely used for academic and professional
gummi: documents.
gummi:
gummi: https://github.com/alexandervdm/gummi/
gummi:
gummi:
gummi: