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

所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2020年12月13日 (日) 12:34 Allen (讨论 | 贡献)标记页面Rapid.Space的版本155039为已巡查
• 2020年12月13日 (日) 12:31 Allen (讨论 | 贡献)上传“文件:Pygolang.png” (https://pygolang.nexedi.com/ category:go category:python)
• 2020年12月13日 (日) 12:29 Allen (讨论 | 贡献)标记页面ERP5的版本155037为已巡查
• 2020年12月13日 (日) 10:10 Allen (讨论 | 贡献)标记页面Rapid.Space的版本155036为已巡查
• 2020年12月13日 (日) 08:46 Allen (讨论 | 贡献)标记页面ERP5的版本155035为已巡查
• 2020年12月13日 (日) 08:39 Allen (讨论 | 贡献)标记页面Rapid.Space的版本155034为已巡查
• 2020年12月13日 (日) 08:39 Allen (讨论 | 贡献)标记页面Rapid.Space的版本155033为已巡查
• 2020年12月13日 (日) 08:38 Allen (讨论 | 贡献)标记页面Rapid.Space的版本155032为已巡查
• 2020年12月13日 (日) 08:33 Allen (讨论 | 贡献)标记页面Rapid.Space的版本155031为已巡查
• 2020年12月13日 (日) 08:30 Allen (讨论 | 贡献)标记页面Huihoo Cloud的版本155030为已巡查
• 2020年12月13日 (日) 08:25 Allen (讨论 | 贡献)标记页面Rapid.Space的版本155029为已巡查
• 2020年12月13日 (日) 08:15 Allen (讨论 | 贡献)标记页面Rapid.Space的版本155028为已巡查
• 2020年12月13日 (日) 07:08 Allen (讨论 | 贡献)标记页面SlapOS的版本155027为已巡查
• 2020年12月13日 (日) 07:07 Allen (讨论 | 贡献)标记页面SlapOS的版本155026为已巡查
• 2020年12月13日 (日) 07:01 Allen (讨论 | 贡献)标记页面Open Compute Project的版本155025为已巡查
• 2020年12月13日 (日) 07:01 Allen (讨论 | 贡献)标记页面Super Compute Project的版本155024为已巡查
• 2020年12月13日 (日) 06:45 Allen (讨论 | 贡献)标记页面Wendelin的版本155023为已巡查
• 2020年12月13日 (日) 06:45 Allen (讨论 | 贡献)标记页面ERP5的版本155022为已巡查
• 2020年12月13日 (日) 06:40 Allen (讨论 | 贡献)标记页面NEO的版本155021为已巡查
• 2020年12月13日 (日) 06:24 Allen (讨论 | 贡献)标记页面ERP5的版本155020为已巡查
• 2020年12月13日 (日) 06:23 Allen (讨论 | 贡献)标记页面SlapOS的版本155019为已巡查
• 2020年12月13日 (日) 06:11 Allen (讨论 | 贡献)上传“文件:Install-ERP5-with-SlapOS.png” (https://www.erp5.com/developer-Allocate.ERP5.Instance.On.Slapos category:ERP5 category:KVM category:cloud computing)
• 2020年12月13日 (日) 06:11 Allen (讨论 | 贡献)标记页面ERP5的版本155017为已巡查
• 2020年12月13日 (日) 06:08 Allen (讨论 | 贡献)标记页面ERP5的版本155016为已巡查
• 2020年12月13日 (日) 05:54 Allen (讨论 | 贡献)标记页面ERP5的版本155015为已巡查
• 2020年12月13日 (日) 05:51 Allen (讨论 | 贡献)标记页面ERP5的版本155014为已巡查
• 2020年12月13日 (日) 05:49 Allen (讨论 | 贡献)标记页面分类:ERP5的版本155013为已巡查
• 2020年12月13日 (日) 05:48 Allen (讨论 | 贡献)上传“文件:Nexedi-Stack.png” (https://stack.nexedi.com/ category:ERP5)
• 2020年12月13日 (日) 05:47 Allen (讨论 | 贡献)标记页面ERP5的版本155011为已巡查
• 2020年12月13日 (日) 05:44 Allen (讨论 | 贡献)标记页面Odoo cloud的版本155010为已巡查
• 2020年12月13日 (日) 05:34 Allen (讨论 | 贡献)上传“文件:Embulk.png” (https://github.com/embulk/embulk category:ETL category:big data)
• 2020年12月13日 (日) 05:33 Allen (讨论 | 贡献)标记页面Big data的版本155008为已巡查
• 2020年12月13日 (日) 05:33 Allen (讨论 | 贡献)标记页面Extract, transform, load的版本155007为已巡查
• 2020年12月13日 (日) 03:55 Allen (讨论 | 贡献)标记页面Odoo ESN的版本155006为已巡查
• 2020年12月13日 (日) 03:54 Allen (讨论 | 贡献)标记页面Odoo ESN的版本155005为已巡查
• 2020年12月13日 (日) 01:27 Allen (讨论 | 贡献)标记页面Zope的版本155004为已巡查
• 2020年12月12日 (六) 15:17 Allen (讨论 | 贡献)标记页面EduCommons的版本155003为已巡查
• 2020年12月12日 (六) 15:14 Allen (讨论 | 贡献)标记页面分类:LMS的版本155002为已巡查
• 2020年12月12日 (六) 15:14 Allen (讨论 | 贡献)标记页面E-learning的版本155001为已巡查
• 2020年12月12日 (六) 13:34 Allen (讨论 | 贡献)标记页面E3 learning的版本155000为已巡查
• 2020年12月12日 (六) 11:14 Allen (讨论 | 贡献)上传“文件:OpenEduCat-Award-2019.jpg” (https://www.openeducat.org/blog/blogs-1/post/openeducat-dubbed-as-a-learning-management-software-rising-star-and-recognized-with-premium-usability-by-platform-for-saas-reviews-39 category:e-learning category:odoo)
• 2020年12月12日 (六) 11:13 Allen (讨论 | 贡献)标记页面OpenEduCat的版本154998为已巡查
• 2020年12月12日 (六) 11:10 Allen (讨论 | 贡献)标记页面Odoo learning的版本154997为已巡查
• 2020年12月12日 (六) 11:10 Allen (讨论 | 贡献)标记页面OpenEduCat的版本154996为已巡查
• 2020年12月12日 (六) 10:50 Allen (讨论 | 贡献)标记页面E3 learning的版本154995为已巡查
• 2020年12月12日 (六) 10:16 Allen (讨论 | 贡献)标记页面CPython的版本154994为已巡查
• 2020年12月12日 (六) 10:14 Allen (讨论 | 贡献)标记页面CPython的版本154993为已巡查
• 2020年12月12日 (六) 09:22 Allen (讨论 | 贡献)标记页面Continuous delivery的版本154992为已巡查
• 2020年12月12日 (六) 09:09 Allen (讨论 | 贡献)标记页面Continuous delivery的版本154991为已巡查
• 2020年12月12日 (六) 08:47 Allen (讨论 | 贡献)标记页面Spinnaker的版本154990为已巡查