欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Emacs Muse
来自开放百科 - 灰狐
Emacs Muse 是一个基于Emacs的写作和发布平台。它简化了文档编辑过程，并且可以选择多种格式进行发布。 Muse利用一种很简单的类似Wiki的格式作为输入。
Muse包括两部分: 一个增强的text模式，用来编辑文档和在Muse工程中随意浏览文档; 一组发布策略，用来产生各种不同的格式输出。
Muse希望做一个很好的针对Emacs Lisp这种低级工具的后台支持系统。
支持以下格式
- Blosxom
- DocBook
- Groff
- HTML
- Info
- LaTeX
- RDF (RSS 1.0)
- RSS 2.0
- Texinfo
- XHTML
- XML
分享您的观点
