欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Elsie
来自开放百科 - 灰狐
Elsie is a wiki or wikiwiki web clone written in Java.
Features
- Simple wiki markup syntax
- Content management (view, edit, attachment, etc.)
- Version control (page history, diff, revert, etc.)
- Access control list and user/group management
- Configurable look-and-feel using layout templates and css
- Document templates to ease creation of common documents
- I18N and multi-lingual supports
- Search
分享您的观点
