欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
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
 
	分享您的观点