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

下面是所有页面移动的列表。

• 2010年9月17日 (五) 15:47 Allen (讨论 | 贡献)移动Java EE页面至Java Platform, Enterprise Edition
• 2010年9月17日 (五) 15:38 Allen (讨论 | 贡献)移动Oracle TopLink页面至TopLink
• 2010年9月17日 (五) 15:35 Allen (讨论 | 贡献)移动Equinox页面至Equinox (OSGi)
• 2010年9月17日 (五) 15:33 Allen (讨论 | 贡献)移动Open Rico页面至Rico (Ajax)
• 2010年9月17日 (五) 15:27 Allen (讨论 | 贡献)移动Yum页面至Yellowdog Updater, Modified
• 2010年9月17日 (五) 14:57 Allen (讨论 | 贡献)移动Open Scene Graph页面至OpenSceneGraph
• 2010年9月17日 (五) 14:44 Allen (讨论 | 贡献)移动WorldWind页面至NASA World Wind
• 2010年9月17日 (五) 14:27 Allen (讨论 | 贡献)移动Torpark页面至XeroBank Browser
• 2010年9月17日 (五) 14:24 Allen (讨论 | 贡献)移动HP Virtual Server Environment页面至HP Integrity Virtual Machines
• 2010年9月17日 (五) 14:18 Allen (讨论 | 贡献)移动Hessian页面至Hessian (web service protocol)
• 2010年9月17日 (五) 14:16 Allen (讨论 | 贡献)移动Big Sister页面至Big Sister (software)
• 2010年9月17日 (五) 14:12 Allen (讨论 | 贡献)移动页面Amazon SQS至Amazon Simple Queue Service覆盖重定向
• 2010年9月17日 (五) 14:09 Allen (讨论 | 贡献)移动Roundup页面至Roundup (issue tracker)
• 2010年9月17日 (五) 13:33 Allen (讨论 | 贡献)移动Zend页面至Zend Technologies
• 2010年9月17日 (五) 13:31 Allen (讨论 | 贡献)移动Java CAPS页面至Java Caps
• 2010年9月17日 (五) 13:24 Allen (讨论 | 贡献)移动Open Web Application Security Project页面至OWASP
• 2010年9月17日 (五) 08:25 Allen (讨论 | 贡献)移动页面Chrome至Google Chrome覆盖重定向
• 2010年9月17日 (五) 08:11 Allen (讨论 | 贡献)移动NotepadPlusPlus页面至Notepad++
• 2010年9月17日 (五) 05:28 Allen (讨论 | 贡献)移动Bricolage页面至Bricolage (software)
• 2010年9月17日 (五) 05:21 Allen (讨论 | 贡献)移动Xbox Media Center页面至XBMC
• 2010年9月17日 (五) 05:16 Allen (讨论 | 贡献)移动Pinax页面至Pinax (software)
• 2010年9月17日 (五) 05:12 Allen (讨论 | 贡献)移动WebSphere MQ页面至IBM WebSphere MQ
• 2010年9月17日 (五) 05:07 Allen (讨论 | 贡献)移动Enterprise SOA页面至SAP Enterprise Services Architecture
• 2010年9月17日 (五) 05:05 Allen (讨论 | 贡献)移动S/390页面至IBM ESA/390
• 2010年9月17日 (五) 05:04 Allen (讨论 | 贡献)移动QDBM页面至Dbm
• 2010年9月17日 (五) 05:02 Allen (讨论 | 贡献)移动DHCP页面至Dynamic Host Configuration Protocol
• 2010年9月17日 (五) 05:01 Allen (讨论 | 贡献)移动INN页面至InterNetNews
• 2010年9月17日 (五) 04:58 Allen (讨论 | 贡献)移动页面OASIS Web Services for Remote Portlets至Web Services for Remote Portlets覆盖重定向
• 2010年9月17日 (五) 04:57 Allen (讨论 | 贡献)移动EDA页面至Event-driven architecture
• 2010年9月17日 (五) 04:51 Allen (讨论 | 贡献)移动UDP页面至User Datagram Protocol
• 2010年9月17日 (五) 04:50 Allen (讨论 | 贡献)移动SMTP页面至Simple Mail Transfer Protocol
• 2010年9月17日 (五) 04:40 Allen (讨论 | 贡献)移动NTP页面至Network Time Protocol
• 2010年9月17日 (五) 04:40 Allen (讨论 | 贡献)移动NNTP页面至Network News Transfer Protocol
• 2010年9月17日 (五) 04:36 Allen (讨论 | 贡献)移动Awk页面至AWK
• 2010年9月17日 (五) 04:34 Allen (讨论 | 贡献)移动SSH页面至Secure Shell
• 2010年9月17日 (五) 04:22 Allen (讨论 | 贡献)移动Rich Internet application页面至Rich Internet Application
• 2010年9月17日 (五) 04:21 Allen (讨论 | 贡献)移动RIA页面至Rich Internet application
• 2010年9月17日 (五) 04:11 Allen (讨论 | 贡献)移动Necko页面至Mozilla application framework
• 2010年9月17日 (五) 04:10 Allen (讨论 | 贡献)移动XFire页面至Codehaus XFire
• 2010年9月17日 (五) 04:07 Allen (讨论 | 贡献)移动MIPS页面至MIPS architecture
• 2010年9月17日 (五) 04:05 Allen (讨论 | 贡献)移动RPC页面至Remote procedure call
• 2010年9月17日 (五) 03:58 Allen (讨论 | 贡献)移动SMB页面至Server Message Block
• 2010年9月17日 (五) 03:57 Allen (讨论 | 贡献)移动FishEye页面至FishEye (software)
• 2010年9月17日 (五) 03:52 Allen (讨论 | 贡献)移动CISC页面至Complex instruction set computing
• 2010年9月17日 (五) 03:49 Allen (讨论 | 贡献)移动Mongrel页面至Mongrel (web server)
• 2010年9月17日 (五) 03:48 Allen (讨论 | 贡献)移动Gecko页面至Gecko (layout engine)
• 2010年9月17日 (五) 03:42 Allen (讨论 | 贡献)移动Sunbird页面至Mozilla Sunbird
• 2010年9月17日 (五) 03:40 Allen (讨论 | 贡献)移动MozillaSuite页面至Mozilla Application Suite
• 2010年9月17日 (五) 03:36 Allen (讨论 | 贡献)移动BEA页面至BEA Systems
• 2010年9月17日 (五) 03:30 Allen (讨论 | 贡献)移动Alpha页面至DEC Alpha