K 10 svn:author V 3 wen K 8 svn:date V 27 2013-06-27T08:32:04.827851Z K 7 svn:log V 166 Gummi is a LaTeX editor. It was designed with simplicity in mind. WWW: http://gummi.midnightcoding.org/ PR: 179191 Submitted by: Hakisho Nukama END