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

• 2010年12月12日 (日) 05:28 (差异 | 历史) . . （+50）‎ . . Huihoo 10th Birthday ‎ (→‎上海)
• 2010年12月11日 (六) 03:29 (差异 | 历史) . . （0）‎ . . 用户:Fat1 ‎
• 2010年12月11日 (六) 03:27 (差异 | 历史) . . （-3）‎ . . Huihoo 10th Birthday ‎ (→‎上海)
• 2010年12月11日 (六) 03:27 (差异 | 历史) . . （+14）‎ . . Huihoo 10th Birthday ‎ (→‎城市)
• 2010年12月11日 (六) 03:26 (差异 | 历史) . . （+136）‎ . . Huihoo 10th Birthday ‎ (→‎城市)
• 2010年12月9日 (四) 16:19 (差异 | 历史) . . （+36）‎ . . 用户:Fat1 ‎
• 2010年12月8日 (三) 06:52 (差异 | 历史) . . （+20）‎ . . 用户:Fat1 ‎
• 2010年12月8日 (三) 06:22 (差异 | 历史) . . （+274）‎ . . 用户:Fat1 ‎
• 2008年5月5日 (一) 01:27 (差异 | 历史) . . （+30）‎ . . GlassFish ‎ (→‎Why use GlassFish)
• 2006年9月5日 (二) 12:11 (差异 | 历史) . . （+2）‎ . . Fat1 ‎ （最后更改）
• 2006年9月5日 (二) 12:09 (差异 | 历史) . . （+1,181）‎ . . 新 Fat1 ‎