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

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

• 2016年2月22日 (一) 07:20 Allen (讨论 | 贡献)移动OpenMQ页面至HMQ
• 2016年2月10日 (三) 12:59 Allen (讨论 | 贡献)移动文件:Apache-Stratos-Multi-tenant-Cartridges.jpg页面至文件:Apache-Stratos-Multi-tenant-Cartridge.jpg，不留重定向
• 2016年2月10日 (三) 12:59 Allen (讨论 | 贡献)移动文件:Apache-Stratos-Single-Multi-tenant-Cartridge.jpg页面至文件:Apache-Stratos-Single-tenant-Cartridge.jpg，不留重定向
• 2016年2月10日 (三) 12:57 Allen (讨论 | 贡献)移动文件:Apache-Single-Multi-tenant-Cartridge1.jpg页面至文件:Apache-Stratos-Single-Multi-tenant-Cartridge.jpg，不留重定向
• 2016年2月10日 (三) 12:53 Allen (讨论 | 贡献)移动文件:Apache-Multi-tenant-Cartridges.jpg页面至文件:Apache-Stratos-Multi-tenant-Cartridges.jpg，不留重定向
• 2016年2月10日 (三) 12:52 Allen (讨论 | 贡献)移动文件:Apache-Multi-Single-tenant-Cartridges.jpg页面至文件:Apache-Multi-tenant-Cartridges.jpg，不留重定向
• 2016年2月10日 (三) 12:52 Allen (讨论 | 贡献)移动文件:Apache-Stratos-Single-tenant-Cartridges.jpg页面至文件:Apache-Multi-Single-tenant-Cartridges.jpg，不留重定向
• 2016年2月10日 (三) 12:51 Allen (讨论 | 贡献)移动文件:Apache-Stratos-Multi-tenant-Cartridge.jpg页面至文件:Apache-Single-Multi-tenant-Cartridge1.jpg，不留重定向
• 2016年2月8日 (一) 13:03 Allen (讨论 | 贡献)移动文件:Wso2-identity-user-store-manager.png页面至文件:Wso2-identity-server-user-store-manager.png，不留重定向
• 2016年2月8日 (一) 13:01 Allen (讨论 | 贡献)移动文件:Wso2-identity-claim-manager.png页面至文件:Wso2-identity-server-claim-manager.png，不留重定向
• 2016年2月8日 (一) 13:01 Allen (讨论 | 贡献)移动文件:Wso2-identity-xacml.png页面至文件:Wso2-identity-server-xacml.png，不留重定向
• 2016年2月8日 (一) 12:52 Allen (讨论 | 贡献)移动文件:Wso2-identity-inbound-provisioning.png页面至文件:Wso2-identity-server-inbound-provisioning.png，不留重定向
• 2016年2月7日 (日) 04:00 Allen (讨论 | 贡献)移动文件:Ho2-sparkling-water-design.png页面至文件:H2o-sparkling-water-design.png，不留重定向
• 2016年2月6日 (六) 05:15 Allen (讨论 | 贡献)移动Continuous Delivery页面至Continuous delivery
• 2016年2月1日 (一) 13:43 Allen (讨论 | 贡献)移动Mobile Backend as a service页面至Mobile backend as a service
• 2016年1月23日 (六) 03:20 Allen (讨论 | 贡献)移动Swift (programming language)页面至Swift
• 2016年1月3日 (日) 03:09 Allen (讨论 | 贡献)移动文件:1-25.jpg页面至文件:2016-01-25.jpg，不留重定向
• 2015年12月24日 (四) 05:25 Allen (讨论 | 贡献)移动Neural network页面至Artificial neural network
• 2015年12月9日 (三) 03:03 Allen (讨论 | 贡献)移动Java Virtual Machine页面至Java virtual machine
• 2015年12月7日 (一) 14:31 Allen (讨论 | 贡献)移动文件:Lunch-break.jpg页面至文件:Lunch-break.jpg，不留重定向
• 2015年11月25日 (三) 03:17 Allen (讨论 | 贡献)移动Wine页面至Wine (software)，不留重定向
• 2015年11月16日 (一) 13:48 Allen (讨论 | 贡献)移动HTML5/websockets页面至WebSocket
• 2015年11月16日 (一) 11:40 Allen (讨论 | 贡献)移动Debian/Developer页面至Debian/developer，不留重定向
• 2015年11月14日 (六) 10:10 Allen (讨论 | 贡献)移动OBrowser页面至Huihoo browser
• 2015年11月8日 (日) 10:16 Allen (讨论 | 贡献)移动OpenERP页面至Odoo
• 2015年10月27日 (二) 12:08 Allen (讨论 | 贡献)移动文件:Hpcc-system-architecture.png页面至文件:Hpcc-systems-architecture.png，不留重定向
• 2015年10月27日 (二) 12:07 Allen (讨论 | 贡献)移动文件:Hpcc-architecture.png页面至文件:Hpcc-system-architecture.png，不留重定向
• 2015年10月11日 (日) 15:40 Allen (讨论 | 贡献)移动文件:Octave-MATLAB.png页面至文件:Octave-MATLAB-Compatibility.png，不留重定向
• 2015年10月4日 (日) 02:32 Allen (讨论 | 贡献)移动文件:Ox-infinity-modules.png页面至文件:Xo-infinity-modules.png，不留重定向
• 2015年9月20日 (日) 02:22 Allen (讨论 | 贡献)移动文件:Cardzz-IOS-UI-Kit-21psd-screens-03.jpg页面至文件:Cardzz-iOS-UI-Kit-21psd-screens-03.jpg，不留重定向
• 2015年9月5日 (六) 00:34 Allen (讨论 | 贡献)移动Computer-aided design页面至CAD
• 2015年8月29日 (六) 03:13 Allen (讨论 | 贡献)移动文件:WhatsApp-for-OS X.png页面至文件:WhatsApp-for-OS-X.png，不留重定向
• 2015年8月29日 (六) 03:12 Allen (讨论 | 贡献)移动文件:WhatsApp-for-OS X-preview2.png页面至文件:WhatsApp-for-OS-X-preview2.png，不留重定向
• 2015年8月29日 (六) 03:12 Allen (讨论 | 贡献)移动文件:WhatsApp-for-OS X-chat.png页面至文件:WhatsApp-for-OS-X-chat.png，不留重定向
• 2015年8月13日 (四) 05:45 Allen (讨论 | 贡献)移动Cdh5 on centos7页面至Cdh5 on centos6，不留重定向
• 2015年7月25日 (六) 17:17 Allen (讨论 | 贡献)移动ElasticSearch页面至Elasticsearch
• 2015年7月9日 (四) 23:42 Allen (讨论 | 贡献)移动Chukwa页面至Apache Chukwa
• 2015年4月30日 (四) 12:36 Allen (讨论 | 贡献)移动文件:Bassbox-push-notifications-settings.png页面至文件:Baasbox-push-notifications-settings.png，不留重定向
• 2015年4月11日 (六) 15:55 Allen (讨论 | 贡献)移动HBase页面至Apache HBase
• 2015年3月16日 (一) 09:26 Allen (讨论 | 贡献)移动Data Center页面至Data center
• 2015年3月12日 (四) 02:25 Allen (讨论 | 贡献)移动文件:Shopping-app-kit-storex-sketch-payment-informatıon.png页面至文件:Shopping-app-kit-storex-sketch-payment-information.png，不留重定向
• 2015年2月24日 (二) 03:28 Allen (讨论 | 贡献)移动页面Qt on Android至Qt for Android覆盖重定向
• 2015年2月24日 (二) 03:27 Allen (讨论 | 贡献)移动Qt on iPhone页面至Qt for iOS
• 2015年2月21日 (六) 02:25 Allen (讨论 | 贡献)移动Cloud Computing/security页面至Cloud computing/security
• 2015年2月4日 (三) 05:58 Allen (讨论 | 贡献)移动Allen bodybuilding plan 2014页面至Allen bodybuilding plan
• 2015年1月29日 (四) 13:34 Allen (讨论 | 贡献)移动BackTrack页面至Kali Linux
• 2015年1月29日 (四) 12:58 Allen (讨论 | 贡献)移动Penetration testing页面至Penetration test，不留重定向
• 2015年1月14日 (三) 06:28 Allen (讨论 | 贡献)移动Oracle Enterprise Linux页面至Oracle Linux
• 2015年1月11日 (日) 06:01 Allen (讨论 | 贡献)移动Lean Production页面至Lean manufacturing
• 2015年1月4日 (日) 09:22 Allen (讨论 | 贡献)移动Huihoo Translation Team页面至Huihoo Chinese Plan