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

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

• 2024年8月21日 (三) 05:34 Allen (讨论 | 贡献)标记页面Symfony的版本167061为已巡查
• 2024年8月21日 (三) 04:58 Allen (讨论 | 贡献)标记页面赞助灰狐的版本167060为已巡查
• 2024年8月19日 (一) 10:01 Allen (讨论 | 贡献)标记页面Lisp ecosystem的版本167059为已巡查
• 2024年8月18日 (日) 22:41 Allen (讨论 | 贡献)标记页面Battle for Wesnoth的版本167058为已巡查
• 2024年8月18日 (日) 14:39 Allen (讨论 | 贡献)标记页面GnuCOBOL的版本167057为已巡查
• 2024年8月18日 (日) 12:42 Allen (讨论 | 贡献)标记页面GnuCOBOL的版本167056为已巡查
• 2024年8月18日 (日) 12:42 Allen (讨论 | 贡献)标记页面GnuCOBOL的版本167055为已巡查
• 2024年8月17日 (六) 23:14 Allen (讨论 | 贡献)标记页面GnuCOBOL的版本167054为已巡查
• 2024年8月17日 (六) 22:59 Allen (讨论 | 贡献)标记页面GnuCOBOL的版本167053为已巡查
• 2024年8月17日 (六) 15:12 Allen (讨论 | 贡献)标记页面开放大学的版本167052为已巡查
• 2024年8月16日 (五) 00:08 Allen (讨论 | 贡献)标记页面MuseScore的版本167051为已巡查
• 2024年8月16日 (五) 00:05 Allen (讨论 | 贡献)标记页面MuseScore的版本167050为已巡查
• 2024年8月15日 (四) 10:17 Allen (讨论 | 贡献)上传“文件:Common-lisp-implementations.png” (category:lisp)
• 2024年8月15日 (四) 10:17 Allen (讨论 | 贡献)标记页面Common Lisp的版本167048为已巡查
• 2024年8月15日 (四) 10:17 Allen (讨论 | 贡献)标记页面Common Lisp的版本167047为已巡查
• 2024年8月15日 (四) 01:14 Allen (讨论 | 贡献)标记页面Wazuh的版本167046为已巡查
• 2024年8月14日 (三) 01:49 Allen (讨论 | 贡献)标记页面SML/NJ的版本167045为已巡查
• 2024年8月14日 (三) 01:34 Allen (讨论 | 贡献)标记页面ML的版本167044为已巡查
• 2024年8月12日 (一) 10:27 Allen (讨论 | 贡献)标记页面Lisp的版本167043为已巡查
• 2024年8月12日 (一) 10:24 Allen (讨论 | 贡献)上传“文件:Lisp-logo-120x80.png” (category:lisp)
• 2024年8月12日 (一) 10:24 Allen (讨论 | 贡献)标记页面Lisp的版本167041为已巡查
• 2024年8月12日 (一) 05:42 Allen (讨论 | 贡献)标记页面Huihoo的版本167040为已巡查
• 2024年8月12日 (一) 04:08 Allen (讨论 | 贡献)标记页面Maxima的版本167039为已巡查
• 2024年8月12日 (一) 00:24 Allen (讨论 | 贡献)标记页面赞助灰狐的版本167038为已巡查
• 2024年8月12日 (一) 00:17 Allen (讨论 | 贡献)标记页面Isabelle的版本167037为已巡查
• 2024年8月12日 (一) 00:17 Allen (讨论 | 贡献)标记页面Isabelle的版本167036为已巡查
• 2024年8月12日 (一) 00:12 Allen (讨论 | 贡献)标记页面MediaWiki:Sitenotice的版本167035为已巡查
• 2024年8月12日 (一) 00:10 Allen (讨论 | 贡献)标记页面MediaWiki:Sitenotice的版本167034为已巡查
• 2024年8月12日 (一) 00:09 Allen (讨论 | 贡献)标记页面MediaWiki:Sitenotice的版本167033为已巡查
• 2024年8月10日 (六) 11:28 Allen (讨论 | 贡献)标记页面Lean的版本167032为已巡查
• 2024年8月10日 (六) 11:27 Allen (讨论 | 贡献)标记页面Lean的版本167031为已巡查
• 2024年8月10日 (六) 08:27 Allen (讨论 | 贡献)标记页面赞助灰狐的版本167030为已巡查
• 2024年8月9日 (五) 11:44 Allen (讨论 | 贡献)标记页面我与数学物理的1000个日夜的版本167029为已巡查
• 2024年8月9日 (五) 11:32 Allen (讨论 | 贡献)标记页面Maxima的版本167028为已巡查
• 2024年7月28日 (日) 12:37 Allen (讨论 | 贡献)标记页面Qt Creator的版本167027为已巡查
• 2024年7月28日 (日) 12:36 Allen (讨论 | 贡献)标记页面Qt Creator的版本167026为已巡查
• 2024年7月28日 (日) 12:35 Allen (讨论 | 贡献)标记页面Qt Creator的版本167025为已巡查
• 2024年7月25日 (四) 10:47 Allen (讨论 | 贡献)标记页面OPNsense的版本167024为已巡查
• 2024年7月25日 (四) 10:40 Allen (讨论 | 贡献)标记页面OPNsense的版本167023为已巡查
• 2024年7月25日 (四) 10:39 Allen (讨论 | 贡献)标记页面LMMS的版本167022为已巡查
• 2024年7月19日 (五) 04:03 Allen (讨论 | 贡献)标记页面赞助灰狐的版本167021为已巡查
• 2024年7月14日 (日) 00:49 Allen (讨论 | 贡献)标记页面Qt Creator的版本167020为已巡查
• 2024年7月2日 (二) 13:42 Allen (讨论 | 贡献)标记页面WxWidgets的版本167019为已巡查
• 2024年7月2日 (二) 13:41 Allen (讨论 | 贡献)标记页面WxWidgets的版本167018为已巡查
• 2024年7月2日 (二) 13:34 Allen (讨论 | 贡献)标记页面WxWidgets的版本167017为已巡查
• 2024年7月2日 (二) 13:30 Allen (讨论 | 贡献)标记页面Code::Blocks的版本167016为已巡查
• 2024年7月2日 (二) 13:29 Allen (讨论 | 贡献)标记页面WxWidgets的版本167015为已巡查
• 2024年6月9日 (日) 14:24 Allen (讨论 | 贡献)标记页面赞助灰狐的版本167014为已巡查
• 2024年5月19日 (日) 12:52 Allen (讨论 | 贡献)标记页面MuseScore的版本167013为已巡查
• 2024年5月19日 (日) 12:52 Allen (讨论 | 贡献)标记页面MuseScore的版本167012为已巡查