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

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

• 2025年2月18日 (二) 05:49 Allen (讨论 | 贡献)标记页面Identity management的版本167388为已巡查
• 2025年2月18日 (二) 01:13 Allen (讨论 | 贡献)标记页面PhpPgAdmin的版本167387为已巡查
• 2025年2月18日 (二) 01:04 Allen (讨论 | 贡献)标记页面PhpMyAdmin的版本167386为已巡查
• 2025年2月18日 (二) 00:41 Allen (讨论 | 贡献)上传“文件:Connect-i-Methodology.png” (https://www.connect-i.ch/en/360deg-drupal-consulting-and-development-services category:development category:drupal)
• 2025年2月18日 (二) 00:39 Allen (讨论 | 贡献)上传“文件:Connect-i-Cybersecurity-Certifications.png” (https://www.connect-i.ch/en/penetration-testing-service category:security)
• 2025年2月17日 (一) 13:45 Allen (讨论 | 贡献)标记页面MySQL的版本167383为已巡查
• 2025年2月17日 (一) 03:08 Allen (讨论 | 贡献)上传“文件:Opigno-LMS-Content-Hierarchy.png” (https://opigno.atlassian.net/wiki/spaces/OUM3/pages/2802942618/Content+hierarchy category:LMS category:PHP)
• 2025年2月17日 (一) 00:25 Allen (讨论 | 贡献)上传“文件:Ckeditor5-import-word.png” (https://ckeditor.com/ckeditor-5/demo/ category:editor)
• 2025年2月17日 (一) 00:25 Allen (讨论 | 贡献)上传“文件:Ckeditor5.png” (https://ckeditor.com/ckeditor-5/demo/ category:editor)
• 2025年2月16日 (日) 02:12 Allen (讨论 | 贡献)上传“文件:PHP-FIG-logo.png” (https://github.com/php-fig category:PHP)
• 2025年2月16日 (日) 02:10 Allen (讨论 | 贡献)标记页面PHP的版本167378为已巡查
• 2025年2月16日 (日) 01:45 Allen (讨论 | 贡献)标记页面Drupal Commerce的版本167377为已巡查
• 2025年2月16日 (日) 01:45 Allen (讨论 | 贡献)标记页面Drupal Commerce的版本167376为已巡查
• 2025年2月16日 (日) 01:40 Allen (讨论 | 贡献)标记页面Drupal Commerce的版本167375为已巡查
• 2025年2月15日 (六) 03:52 Allen (讨论 | 贡献)标记页面Drupal的版本167374为已巡查
• 2025年2月15日 (六) 02:33 Allen (讨论 | 贡献)上传“文件:Wsl-config.png” (category:linux category:windows category:microsoft)
• 2025年2月14日 (五) 14:01 Allen (讨论 | 贡献)标记页面WSL的版本167372为已巡查
• 2025年2月14日 (五) 13:56 Allen (讨论 | 贡献)标记页面WSL的版本167371为已巡查
• 2025年2月13日 (四) 04:00 Allen (讨论 | 贡献)上传“文件:2025-Gartner-Magic-Quadrant-for-Digital-Experience-Platforms.png” (https://www.gartner.com/doc/reprints?id=1-2K0LH2I7&ct=250122 category:drupal category:PHP category:CMS)
• 2025年2月13日 (四) 03:57 Allen (讨论 | 贡献)上传“文件:Drupal-use-projects.png” (category:drupal category:PHP category:CMS)
• 2025年2月7日 (五) 15:48 Allen (讨论 | 贡献)标记页面Mixxx的版本167368为已巡查
• 2025年2月6日 (四) 15:39 Allen (讨论 | 贡献)上传“文件:Drupal-Commerce-03.png” (category:B2B2C2C category:PHP category:Drupal)
• 2025年2月6日 (四) 15:38 Allen (讨论 | 贡献)上传“文件:Drupal-Commerce-02.png” (category:B2B2C2C category:PHP category:Drupal)
• 2025年2月6日 (四) 15:38 Allen (讨论 | 贡献)上传“文件:Drupal-Commerce-01.png” (category:B2B2C2C category:PHP category:Drupal)
• 2025年2月6日 (四) 03:49 Allen (讨论 | 贡献)标记页面Enterprise PHP的版本167364为已巡查
• 2025年2月4日 (二) 03:44 Allen (讨论 | 贡献)标记页面Symfony的版本167363为已巡查
• 2025年2月3日 (一) 16:06 Allen (讨论 | 贡献)标记页面Marello的版本167362为已巡查
• 2025年2月3日 (一) 00:34 Allen (讨论 | 贡献)标记页面OSGi的版本167361为已巡查
• 2025年2月2日 (日) 08:44 Allen (讨论 | 贡献)标记页面Xamarin.Forms的版本167360为已巡查
• 2025年2月2日 (日) 08:27 Allen (讨论 | 贡献)标记页面Coq的版本167359为已巡查
• 2025年2月2日 (日) 08:18 Allen (讨论 | 贡献)标记页面Coq的版本167358为已巡查
• 2025年2月2日 (日) 01:15 Allen (讨论 | 贡献)上传“文件:Microsoft.Extensions.AI-meai-architecture.png” (https://learn.microsoft.com/zh-cn/dotnet/ai/ai-extensions category:artificial intelligence category:.NET)
• 2025年1月31日 (五) 11:17 Allen (讨论 | 贡献)移动文件:SimplCommerce-WebFront.png页面至文件:SimplCommerce-WebFrontend.png
• 2025年1月31日 (五) 04:58 Allen (讨论 | 贡献)标记页面文件:Mixcore-architecture.png的版本167354为已巡查
• 2025年1月31日 (五) 04:57 Allen (讨论 | 贡献)上传“文件:SimplCommerce-WebFront.png” (category:B2B2C2C category:.NET)
• 2025年1月31日 (五) 04:57 Allen (讨论 | 贡献)上传“文件:SimplCommerce-Modular-Architecture.png” (https://github.com/simplcommerce/SimplCommerce category:B2B2C2C category:.NET)
• 2025年1月31日 (五) 04:53 Allen (讨论 | 贡献)上传“文件:SimplCommerce-Admin.png”的新版本 (category:B2B2C2C category:.NET)
• 2025年1月31日 (五) 04:52 Allen (讨论 | 贡献)上传“文件:SimplCommerce-Admin.png” (category:B2B2C2C category:.NET)
• 2025年1月31日 (五) 04:50 Allen (讨论 | 贡献)上传“文件:SimplCommerce.png” (category:B2B2C2C category:.NET)
• 2025年1月31日 (五) 04:49 Allen (讨论 | 贡献)上传“文件:Mixcore-wwwroot.png” (category:CMS category:.NET)
• 2025年1月31日 (五) 04:47 Allen (讨论 | 贡献)上传“文件:Mixcore-portal.png” (category:CMS category:.NET)
• 2025年1月31日 (五) 03:58 Allen (讨论 | 贡献)上传“文件:Mixcore-document.png” (https://github.com/mixcore/mix.core category:CMS category:.NET)
• 2025年1月31日 (五) 03:17 Allen (讨论 | 贡献)上传“文件:Mixcore-architecture.png” (https://github.com/mixcore/mix.core category:B2B2C2C category:.NET)
• 2025年1月30日 (四) 09:18 Allen (讨论 | 贡献)标记页面Sphinx的版本167344为已巡查
• 2025年1月30日 (四) 06:23 Allen (讨论 | 贡献)标记页面LibreOffice的版本167343为已巡查
• 2025年1月30日 (四) 03:29 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Document-Management-2024.png”的新版本 (https://www.gartner.com/doc/reprints?id=1-2JSIS1T1&ct=241223 category:ECM category:CMS)
• 2025年1月30日 (四) 03:28 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Document-Management-2024.png”的新版本 (https://www.gartner.com/doc/reprints?id=1-2JSIS1T1&ct=241223 category:ECM category:CMS)
• 2025年1月30日 (四) 03:28 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Document-Management-2024.png”的新版本 (https://www.gartner.com/doc/reprints?id=1-2JSIS1T1&ct=241223 category:ECM category:CMS)
• 2025年1月30日 (四) 03:27 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Document-Management-2024.png”的新版本 (https://www.gartner.com/doc/reprints?id=1-2JSIS1T1&ct=241223 category:ECM category:CMS)
• 2025年1月30日 (四) 03:25 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Document-Management-2024.png” (https://www.gartner.com/doc/reprints?id=1-2JSIS1T1&ct=241223 category:ECM category:CMS)