欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
移动日志
下面是所有页面移动的列表。
(最后 | 最早) 查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)- 2022年3月31日 (四) 23:47 Allen (讨论 | 贡献)移动文件:Windows-linux-macos.png页面至文件:Multiplatform.png,不留重定向
- 2022年3月26日 (六) 11:25 Allen (讨论 | 贡献)移动文件:Gccegg-65.png页面至文件:GCC-logo.png
- 2022年3月25日 (五) 02:25 Allen (讨论 | 贡献)移动ZFS页面至OpenZFS
- 2022年3月12日 (六) 02:12 Allen (讨论 | 贡献)移动Odoo/documentation页面至Odoo documentation
- 2022年2月24日 (四) 05:49 Allen (讨论 | 贡献)移动文件:Halo-poweed-by-orleans.png页面至文件:Halo-powered-by-orleans.png,不留重定向
- 2022年2月23日 (三) 04:35 Allen (讨论 | 贡献)移动Peachpie页面至PeachPie
- 2022年2月14日 (一) 04:08 Allen (讨论 | 贡献)移动Gitlab页面至GitLab
- 2022年2月10日 (四) 16:23 Allen (讨论 | 贡献)移动Proof assistant页面至Formal verification
- 2022年1月22日 (六) 05:20 Allen (讨论 | 贡献)移动页面Emacs至GNU Emacs覆盖重定向
- 2021年12月15日 (三) 04:12 Allen (讨论 | 贡献)移动Haskell IDE Foundation页面至Haskell Desktop Foundation
- 2021年12月2日 (四) 07:59 Allen (讨论 | 贡献)移动Xenko页面至Stride
- 2021年12月1日 (三) 07:01 Allen (讨论 | 贡献)移动Elixir programming language页面至Elixir
- 2021年12月1日 (三) 07:01 Allen (讨论 | 贡献)移动Elixir页面至Elixir SQLAlchemy,不留重定向
- 2021年11月18日 (四) 06:13 Allen (讨论 | 贡献)移动文件:Tizen .NET.png页面至文件:Tizen.NET.png,不留重定向
- 2021年8月31日 (二) 04:15 Allen (讨论 | 贡献)移动文件:Eclipse-Kuksa.png页面至文件:Eclipse-KUKSA.png
- 2021年8月11日 (三) 06:22 Allen (讨论 | 贡献)移动文件:Traditional-evaluation.png页面至文件:Clojure-evaluation.png,不留重定向
- 2021年8月6日 (五) 01:32 Allen (讨论 | 贡献)移动文件:OroCommerce-Master-Catalog-Management .png页面至文件:OroCommerce-Master-Catalog-Management.png,不留重定向
- 2021年7月4日 (日) 02:20 Allen (讨论 | 贡献)移动Google CPlusPlus Testing Framework页面至GoogleTest
- 2021年6月27日 (日) 05:47 Allen (讨论 | 贡献)移动Domain-specific language页面至DSL
- 2021年6月16日 (三) 07:14 Allen (讨论 | 贡献)移动文件:Java-xml-jaxb.png页面至文件:Jaxb-schema-to-java.png,不留重定向
分享您的观点