gummi: gummi (Lightweight Latex editor written in PyGTK)
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: Homepage: http://code.google.com/p/gummi/
gummi:
gummi:
gummi: