Gummi: 简易 LaTeX 编辑工具
时间：2010-09-26 来源：wowubuntu
Gummi 是一个利用 Python 和 GTK 技术开发的简易 LaTeX 编辑工具，具备实时预览、语法高亮、BibTex 支持、导出到 PDF 、纠错/拼写检查、预设模版等功能。
项目主页： http://gummi.midnightcoding.org/
# Ubuntu 用户可以通过这个 PPA 来安装：
sudo apt-add-repository ppa:gummi/gummi
sudo apt-get update
sudo apt-get install gummi
相关阅读 更多 +
排行榜 更多 +
