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

• 2010年11月2日 (二) 15:13 (差异 | 历史) . . （+42）‎ . . 小 JQuery Fundamentals ‎ (→‎进度)
• 2010年11月2日 (二) 15:11 (差异 | 历史) . . （+15）‎ . . 小 JQuery Fundamentals ‎ (→‎任务)
• 2010年11月2日 (二) 11:42 (差异 | 历史) . . （+28）‎ . . 小 JQuery Fundamentals ‎ (→‎团队)
• 2010年11月1日 (一) 15:51 (差异 | 历史) . . （+28）‎ . . 小 JQuery Fundamentals ‎ (→‎成员)
• 2010年11月1日 (一) 15:49 (差异 | 历史) . . （+29）‎ . . 小 JQuery Fundamentals ‎ (→‎任务)