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

• 2009年6月1日 (一) 06:10 (差异 | 历史) . . （+23）‎ . . Odoo ‎ (→‎Links)
• 2009年6月1日 (一) 06:09 (差异 | 历史) . . （+69）‎ . . Odoo ‎ (→‎Tiny ERP 简介)
• 2008年2月20日 (三) 10:18 (差异 | 历史) . . （+70）‎ . . Drupal ‎ (→‎Drupal Modules)
• 2007年9月10日 (一) 21:59 (差异 | 历史) . . （+31）‎ . . 小 Drupal ‎ (→‎中文Drupal站点)