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

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

• 2022年5月14日 (六) 14:52 Allen (讨论 | 贡献)标记页面WebKitGTK的版本164183为已巡查
• 2022年5月14日 (六) 14:51 Allen (讨论 | 贡献)标记页面WebKitGTK的版本164182为已巡查
• 2022年5月14日 (六) 14:45 Allen (讨论 | 贡献)标记页面GTK的版本164181为已巡查
• 2022年5月14日 (六) 14:42 Allen (讨论 | 贡献)标记页面GTK的版本164180为已巡查
• 2022年5月14日 (六) 14:38 Allen (讨论 | 贡献)标记页面GTK的版本164179为已巡查
• 2022年5月14日 (六) 14:38 Allen (讨论 | 贡献)标记页面Vala的版本164178为已巡查
• 2022年5月14日 (六) 14:36 Allen (讨论 | 贡献)标记页面GTK的版本164177为已巡查
• 2022年5月14日 (六) 14:12 Allen (讨论 | 贡献)标记页面Vala的版本164176为已巡查
• 2022年5月14日 (六) 12:35 Allen (讨论 | 贡献)标记页面IDEX的版本164175为已巡查
• 2022年5月14日 (六) 11:45 Allen (讨论 | 贡献)标记页面Vala的版本164174为已巡查
• 2022年5月14日 (六) 11:44 Allen (讨论 | 贡献)上传“文件:Vala-File-Types.jpg” (图片取自《Introducing Vala Programming》A Language and Techniques to Boost Productivity category:vala category:programming language category:GTK category:GNOME)
• 2022年5月14日 (六) 11:43 Allen (讨论 | 贡献)标记页面Vala的版本164172为已巡查
• 2022年5月14日 (六) 11:35 Allen (讨论 | 贡献)标记页面Vala的版本164171为已巡查
• 2022年5月14日 (六) 11:34 Allen (讨论 | 贡献)标记页面Vala的版本164170为已巡查
• 2022年5月14日 (六) 11:33 Allen (讨论 | 贡献)标记页面Vala的版本164169为已巡查
• 2022年5月14日 (六) 11:31 Allen (讨论 | 贡献)标记页面Vala的版本164168为已巡查
• 2022年5月14日 (六) 11:28 Allen (讨论 | 贡献)上传“文件:Vala-hello-ui-world.png” (category:vala category:IDE category:GNOME category:GTK)
• 2022年5月14日 (六) 11:27 Allen (讨论 | 贡献)标记页面Vala的版本164166为已巡查
• 2022年5月14日 (六) 11:10 Allen (讨论 | 贡献)标记页面Vala的版本164165为已巡查
• 2022年5月14日 (六) 11:08 Allen (讨论 | 贡献)标记页面Vala的版本164164为已巡查
• 2022年5月14日 (六) 11:06 Allen (讨论 | 贡献)标记页面Vala的版本164163为已巡查
• 2022年5月14日 (六) 11:05 Allen (讨论 | 贡献)标记页面Vala的版本164162为已巡查
• 2022年5月14日 (六) 10:55 Allen (讨论 | 贡献)标记页面IDEX的版本164161为已巡查
• 2022年5月14日 (六) 10:53 Allen (讨论 | 贡献)标记页面R System的版本164160为已巡查
• 2022年5月14日 (六) 10:53 Allen (讨论 | 贡献)标记页面R System的版本164159为已巡查
• 2022年5月14日 (六) 10:52 Allen (讨论 | 贡献)标记页面R System的版本164158为已巡查
• 2022年5月14日 (六) 10:25 Allen (讨论 | 贡献)上传“文件:Vala-language.jpg” (图片取自《Introducing Vala Programming》A Language and Techniques to Boost Productivity category:vala category:programming language category:GTK category:GNOME)
• 2022年5月14日 (六) 10:24 Allen (讨论 | 贡献)标记页面Vala的版本164156为已巡查
• 2022年5月14日 (六) 10:14 Allen (讨论 | 贡献)标记页面文件:Akira-logo.png的版本164155为已巡查
• 2022年5月14日 (六) 10:12 Allen (讨论 | 贡献)上传“文件:Akira-logo.png” (https://github.com/akiraux/Akira category:IDE category:GTK category:vala)
• 2022年5月14日 (六) 10:11 Allen (讨论 | 贡献)标记页面Vala的版本164153为已巡查
• 2022年5月14日 (六) 09:41 Allen (讨论 | 贡献)标记页面GNOME的版本164152为已巡查
• 2022年5月14日 (六) 08:08 Allen (讨论 | 贡献)标记页面Vala的版本164151为已巡查
• 2022年5月14日 (六) 08:05 Allen (讨论 | 贡献)标记页面分类:Vala的版本164150为已巡查
• 2022年5月14日 (六) 08:04 Allen (讨论 | 贡献)上传“文件:Elementary-OS-logo.png” (https://elementary.io/zh_CN/ category:operating system category:GNOME category:GTK category:vala)
• 2022年5月14日 (六) 07:55 Allen (讨论 | 贡献)标记页面GNOME的版本164148为已巡查
• 2022年5月14日 (六) 07:42 Allen (讨论 | 贡献)标记页面GNOME的版本164147为已巡查
• 2022年5月14日 (六) 07:35 Allen (讨论 | 贡献)标记页面灰狗游戏平台的版本164146为已巡查
• 2022年5月14日 (六) 07:28 Allen (讨论 | 贡献)标记页面GNOME的版本164145为已巡查
• 2022年5月14日 (六) 06:38 Allen (讨论 | 贡献)标记页面GNOME的版本164144为已巡查
• 2022年5月14日 (六) 05:29 Allen (讨论 | 贡献)上传“文件:Flatpak-install-gnome-builder.png” (category:GNOME category:IDE)
• 2022年5月14日 (六) 05:28 Allen (讨论 | 贡献)标记页面GNOME的版本164142为已巡查
• 2022年5月14日 (六) 05:25 Allen (讨论 | 贡献)标记页面GNOME的版本164141为已巡查
• 2022年5月13日 (五) 12:54 Allen (讨论 | 贡献)上传“文件:Godot-logo.png”的新版本
• 2022年5月13日 (五) 08:16 Allen (讨论 | 贡献)上传“文件:O3DE-logo.png”的新版本
• 2022年5月13日 (五) 07:48 Allen (讨论 | 贡献)上传“文件:O3DE-logo.png” (https://github.com/o3de category:game engine category:3D)
• 2022年5月13日 (五) 07:47 Allen (讨论 | 贡献)上传“文件:Godot-logo.png” (category:2D category:game engine)
• 2022年5月13日 (五) 07:47 Allen (讨论 | 贡献)标记页面Game engine的版本164136为已巡查
• 2022年5月13日 (五) 07:45 Allen (讨论 | 贡献)标记页面Godot的版本164135为已巡查
• 2022年5月13日 (五) 05:04 Allen (讨论 | 贡献)上传“文件:Eclipse-Graphical-Modeling-Framework-logo.png” (https://www.eclipse.org/gmf-runtime/ category:model category:eclipse)