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

• 2011年3月24日 (四) 10:08 (差异 | 历史) . . （+65）‎ . . 用户:Leegorous ‎ （最后更改）
• 2010年11月4日 (四) 10:39 (差异 | 历史) . . （+42）‎ . . JQuery Fundamentals ‎ (→‎进度)
• 2010年11月4日 (四) 10:36 (差异 | 历史) . . （+15）‎ . . JQuery Fundamentals ‎ (→‎任务)
• 2010年11月2日 (二) 10:00 (差异 | 历史) . . （+24）‎ . . JQuery Fundamentals ‎ (→‎团队)
• 2010年11月2日 (二) 09:59 (差异 | 历史) . . （0）‎ . . 新 文件:Def-gmai1.png ‎ （最后更改）
• 2010年11月1日 (一) 15:12 (差异 | 历史) . . （0）‎ . . JQuery Fundamentals ‎ (→‎任务)
• 2010年11月1日 (一) 15:10 (差异 | 历史) . . （0）‎ . . JQuery Fundamentals ‎ (→‎任务)
• 2010年11月1日 (一) 15:04 (差异 | 历史) . . （0）‎ . . JQuery Fundamentals ‎ (→‎任务)
• 2010年11月1日 (一) 14:57 (差异 | 历史) . . （+15）‎ . . JQuery Fundamentals ‎ (→‎任务)
• 2010年11月1日 (一) 07:13 (差异 | 历史) . . （+30）‎ . . JQuery Fundamentals ‎ (→‎成员)
• 2010年11月1日 (一) 02:57 (差异 | 历史) . . （+17）‎ . . JQuery Fundamentals ‎ (→‎任务)