欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
所有公开日志
所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)- 2023年6月26日 (一) 14:10 Allen (讨论 | 贡献)标记页面GNU Hurd的版本166764为已巡查
- 2023年6月26日 (一) 08:54 Allen (讨论 | 贡献)标记页面Qt的版本166763为已巡查
- 2023年6月26日 (一) 07:01 Allen (讨论 | 贡献)标记页面Qt的版本166762为已巡查
- 2023年6月26日 (一) 06:21 Allen (讨论 | 贡献)上传“文件:ChessX.png”的新版本
- 2023年6月26日 (一) 06:20 Allen (讨论 | 贡献)上传“文件:ChessX.png”
- 2023年6月26日 (一) 02:06 Allen (讨论 | 贡献)标记页面GNU Guix的版本166759为已巡查
- 2023年6月26日 (一) 02:04 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166758为已巡查
- 2023年6月26日 (一) 02:03 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166757为已巡查
- 2023年6月26日 (一) 02:03 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166756为已巡查
- 2023年6月25日 (日) 10:52 Allen (讨论 | 贡献)上传“文件:Musescore-canon.png” (category:music)
- 2023年6月25日 (日) 06:43 Allen (讨论 | 贡献)上传“文件:FLTK-logo.png” (https://www.fltk.org/ category:GUI)
- 2023年6月25日 (日) 06:43 Allen (讨论 | 贡献)标记页面GUI的版本166753为已巡查
- 2023年6月25日 (日) 06:40 Allen (讨论 | 贡献)标记页面分类:GUI的版本166752为已巡查
- 2023年6月25日 (日) 06:39 Allen (讨论 | 贡献)标记页面FLTK的版本166751为已巡查
- 2023年6月25日 (日) 06:38 Allen (讨论 | 贡献)标记页面FLTK的版本166750为已巡查
- 2023年6月24日 (六) 06:48 Allen (讨论 | 贡献)标记页面Qt的版本166749为已巡查
- 2023年6月24日 (六) 06:47 Allen (讨论 | 贡献)标记页面Qt的版本166748为已巡查
- 2023年6月24日 (六) 06:31 Allen (讨论 | 贡献)标记页面Qt的版本166747为已巡查
- 2023年6月24日 (六) 02:49 Allen (讨论 | 贡献)标记页面OpenMovie的版本166746为已巡查
- 2023年6月24日 (六) 02:24 Allen (讨论 | 贡献)标记页面OpenMovie的版本166745为已巡查
- 2023年6月24日 (六) 02:06 Allen (讨论 | 贡献)标记页面OpenMovie的版本166744为已巡查
- 2023年6月24日 (六) 01:29 Allen (讨论 | 贡献)标记页面Mathematics的版本166743为已巡查
- 2023年6月22日 (四) 14:50 Allen (讨论 | 贡献)标记页面Fortran的版本166742为已巡查
- 2023年6月21日 (三) 01:45 Allen (讨论 | 贡献)标记页面Hunchentoot的版本166741为已巡查
- 2023年6月21日 (三) 01:44 Allen (讨论 | 贡献)标记页面Hunchentoot的版本166740为已巡查
- 2023年6月20日 (二) 09:54 Allen (讨论 | 贡献)标记页面WxWidgets的版本166739为已巡查
- 2023年6月20日 (二) 09:54 Allen (讨论 | 贡献)标记页面WxWidgets的版本166738为已巡查
- 2023年6月20日 (二) 09:52 Allen (讨论 | 贡献)标记页面WxWidgets的版本166737为已巡查
- 2023年6月20日 (二) 09:52 Allen (讨论 | 贡献)标记页面WxWidgets的版本166736为已巡查
- 2023年6月20日 (二) 07:53 Allen (讨论 | 贡献)标记页面OpenCog的版本166735为已巡查
- 2023年6月20日 (二) 03:13 Allen (讨论 | 贡献)标记页面文件:Guile-and-Guix.jpeg的版本166734为已巡查
- 2023年6月20日 (二) 03:12 Allen (讨论 | 贡献)上传“文件:Guile-and-Guix.jpeg”
- 2023年6月20日 (二) 03:11 Allen (讨论 | 贡献)标记页面GNU Guile的版本166732为已巡查
- 2023年6月20日 (二) 03:09 Allen (讨论 | 贡献)上传“文件:Guile-and-Guix.png” (图片取自:https://www.gnu.org/savannah-checkouts/gnu/guile/news/join-guile-guix-days-strasbourg-2019.html category:GNU category:scheme category:lisp)
- 2023年6月20日 (二) 03:08 Allen (讨论 | 贡献)标记页面GNU Guile的版本166730为已巡查
- 2023年6月19日 (一) 15:29 Allen (讨论 | 贡献)标记页面GNU Hurd的版本166729为已巡查
- 2023年6月18日 (日) 10:59 Allen (讨论 | 贡献)标记页面Common Lisp Type System的版本166728为已巡查
- 2023年6月16日 (五) 08:15 Allen (讨论 | 贡献)标记页面Huihoo Cloud的版本166727为已巡查
- 2023年6月16日 (五) 08:15 Allen (讨论 | 贡献)标记页面Huihoo Cloud的版本166726为已巡查
- 2023年6月16日 (五) 02:55 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166725为已巡查
- 2023年6月16日 (五) 02:15 Allen (讨论 | 贡献)标记页面Huihoo Cloud的版本166724为已巡查
- 2023年6月13日 (二) 08:06 Allen (讨论 | 贡献)标记页面Elixir的版本166723为已巡查
- 2023年6月13日 (二) 08:06 Allen (讨论 | 贡献)标记页面Elixir的版本166722为已巡查
- 2023年6月13日 (二) 08:05 Allen (讨论 | 贡献)标记页面Erlang的版本166721为已巡查
- 2023年6月13日 (二) 02:52 Allen (讨论 | 贡献)标记页面Phoenix framework的版本166720为已巡查
- 2023年6月13日 (二) 02:47 Allen (讨论 | 贡献)标记页面Gougou的版本166719为已巡查
- 2023年6月12日 (一) 07:59 Allen (讨论 | 贡献)标记页面费曼学习法的版本166718为已巡查
- 2023年6月11日 (日) 06:49 Allen (讨论 | 贡献)标记页面RubyGems的版本166717为已巡查
- 2023年6月11日 (日) 02:04 Allen (讨论 | 贡献)标记页面赞助灰狐的版本166716为已巡查
- 2023年6月11日 (日) 02:03 Allen (讨论 | 贡献)标记页面Ruby的版本166715为已巡查
分享您的观点