欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp

• 2007年12月18日 (二) 18:16 (差异 | 历史) . . （0）‎ . . 小 Bexee ‎ (→‎目前情况)
• 2007年12月18日 (二) 18:15 (差异 | 历史) . . （+404）‎ . . Bexee ‎ (→‎简介)
• 2007年12月18日 (二) 12:44 (差异 | 历史) . . （-8）‎ . . 小 EGroupWare ‎ (→‎eGroupware 简介)
• 2007年12月18日 (二) 12:41 (差异 | 历史) . . （+5,195）‎ . . EGroupWare ‎ (→‎简介)
• 2007年12月18日 (二) 11:34 (差异 | 历史) . . （+135）‎ . . 小 Berkeley DB ‎ (→‎Berkeley DB 概述)