Gummi简易 LaTeX 编辑工具

联合创作 · 2023-10-02 01:34

Gummi 是一个简易 LaTeX 编辑工具,具备实时预览、语法高亮、BibTex 支持、导出到 PDF 、纠错/拼写检查、预设模版等功能。

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

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

浏览 5
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报