Posts Tagged ‘gummi

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 PS: Twitter 客户端 Turpial 更新到了 1.4.8-a1 ,请使用这个 PPA 来安装。


top