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

• 2011年3月24日 (四) 10:15 (差异 | 历史) . . （+115）‎ . . 用户:Sky hx ‎
• 2011年3月24日 (四) 10:07 (差异 | 历史) . . （-4）‎ . . 用户:Sky hx ‎
• 2011年3月24日 (四) 10:06 (差异 | 历史) . . （-3）‎ . . 用户:Sky hx ‎
• 2011年3月24日 (四) 10:05 (差异 | 历史) . . （+12）‎ . . 用户:Sky hx ‎
• 2011年3月24日 (四) 10:04 (差异 | 历史) . . （+67）‎ . . 用户:Sky hx ‎
• 2011年2月13日 (日) 06:43 (差异 | 历史) . . （-4）‎ . . 用户:Sky hx ‎
• 2011年2月13日 (日) 06:42 (差异 | 历史) . . （0）‎ . . 用户:Sky hx ‎
• 2010年12月20日 (一) 07:02 (差异 | 历史) . . （+323）‎ . . Huihoo 10th Birthday Guangzhou ‎ （最后更改）
• 2010年12月19日 (日) 16:31 (差异 | 历史) . . （-312）‎ . . Huihoo 10th Birthday Guangzhou ‎
• 2010年12月9日 (四) 08:21 (差异 | 历史) . . （+208）‎ . . 用户:Sky hx ‎
• 2010年12月9日 (四) 08:17 (差异 | 历史) . . （+218）‎ . . Huihoo 10th Birthday ‎ (→‎寄语)
• 2010年12月8日 (三) 02:34 (差异 | 历史) . . （+263）‎ . . 新 用户讨论:Sky hx ‎ (以内容'幼龄JAVA码妹一枚。 做过HIS的实施。 做过电子商务网站项目，在项目中担任需求、编码、测试、客服等工作。 现为公务员服务。 ...'创建新页面) （最后更改）
• 2010年11月10日 (三) 12:28 (差异 | 历史) . . （+38）‎ . . JQuery Fundamentals ‎ (→‎进度)
• 2010年11月10日 (三) 12:27 (差异 | 历史) . . （+38）‎ . . JQuery Fundamentals ‎ (→‎任务)
• 2010年11月5日 (五) 02:53 (差异 | 历史) . . （+15）‎ . . JQuery Fundamentals ‎ (→‎任务)
• 2010年11月2日 (二) 02:44 (差异 | 历史) . . （+47）‎ . . JQuery Fundamentals ‎ (→‎进度)
• 2010年11月2日 (二) 02:42 (差异 | 历史) . . （+18）‎ . . JQuery Fundamentals ‎ (→‎任务)
• 2010年11月2日 (二) 02:37 (差异 | 历史) . . （+27）‎ . . JQuery Fundamentals ‎ (→‎成员)
• 2010年11月1日 (一) 14:48 (差异 | 历史) . . （+14）‎ . . 新 Word chart/h ‎ (以内容'host v. 托管'创建新页面)
• 2010年10月31日 (日) 10:46 (差异 | 历史) . . （+57）‎ . . 新 用户:Sky hx ‎ (以内容'本科，小程序员一枚，目前从事网站开发。'创建新页面)