红联Linux门户
Linux帮助

简易LaTeX编辑工具 Gummi

发布时间:2012-08-28 16:16:01来源:红联作者:empast
Gummi 是一个利用 Python 和 GTK 技术开发的简易 LaTeX 编辑工具,具备实时预览、语法高亮、BibTex 支持、导出到 PDF 、纠错/拼写检查、预设模版等功能。

Ubuntu 用户可以通过这个 PPA 来安装:

sudo apt-add-repository ppa:gummi/gummi
sudo apt-get update
sudo apt-get install gummi

主页:http://dev.midnightcoding.org/projects/gummi

来自:开源中国社区
文章评论

共有 0 条评论