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

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

• 2022年5月13日 (五) 05:04 Allen (讨论 | 贡献)标记页面Eclipse的版本164133为已巡查
• 2022年5月13日 (五) 04:03 Allen (讨论 | 贡献)上传“文件:EMF-Ecore-Java-Language-Types.gif” (https://download.eclipse.org/modeling/emf/emf/javadoc/2.9.0/org/eclipse/emf/ecore/package-summary.html category:model category:eclipse)
• 2022年5月13日 (五) 04:03 Allen (讨论 | 贡献)上传“文件:EMF-Ecore-Relations.gif” (https://download.eclipse.org/modeling/emf/emf/javadoc/2.9.0/org/eclipse/emf/ecore/package-summary.html category:model category:eclipse)
• 2022年5月13日 (五) 04:03 Allen (讨论 | 贡献)上传“文件:EMF-Ecore-Hierarchy.gif” (https://download.eclipse.org/modeling/emf/emf/javadoc/2.9.0/org/eclipse/emf/ecore/package-summary.html category:model category:eclipse)
• 2022年5月13日 (五) 04:02 Allen (讨论 | 贡献)标记页面Eclipse Modeling Framework的版本164129为已巡查
• 2022年5月13日 (五) 03:58 Allen (讨论 | 贡献)标记页面Eclipse Modeling Framework的版本164128为已巡查
• 2022年5月13日 (五) 03:13 Allen (讨论 | 贡献)标记页面DSL的版本164127为已巡查
• 2022年5月13日 (五) 03:12 Allen (讨论 | 贡献)标记页面DSL的版本164126为已巡查
• 2022年5月13日 (五) 03:06 Allen (讨论 | 贡献)上传“文件:Eclipse-xtext-logo.png” (http://www.eclipse.org/xtend category:DSL category:eclipse)
• 2022年5月13日 (五) 03:05 Allen (讨论 | 贡献)标记页面Eclipse的版本164124为已巡查
• 2022年5月13日 (五) 03:05 Allen (讨论 | 贡献)标记页面DSL的版本164123为已巡查
• 2022年5月13日 (五) 02:58 Allen (讨论 | 贡献)上传“文件:Eclipse-Modeling-Project.png” (图片取自《Eclipse Modeling Project A Domain-Specific Language (DSL) Toolkit》Richard C. Gronback category:model category:eclipse category:java category:XML category:UML)
• 2022年5月13日 (五) 02:57 Allen (讨论 | 贡献)标记页面Eclipse Modeling Framework的版本164121为已巡查
• 2022年5月13日 (五) 02:57 Allen (讨论 | 贡献)标记页面Eclipse Modeling Framework的版本164120为已巡查
• 2022年5月13日 (五) 02:39 Allen (讨论 | 贡献)上传“文件:EMF-unifies-Java-XML-and-UML.png” (category:model category:eclipse category:java category:XML category:UML)
• 2022年5月13日 (五) 02:38 Allen (讨论 | 贡献)标记页面Eclipse的版本164118为已巡查
• 2022年5月13日 (五) 01:48 Allen (讨论 | 贡献)标记页面GNU Emacs的版本164117为已巡查
• 2022年5月13日 (五) 00:47 Allen (讨论 | 贡献)上传“文件:Emacs-Application-Framework-EAF.png” (https://github.com/emacs-eaf/emacs-application-framework category:emacs category:qt category:python category:PyQt category:Emacs Lisp category:lisp)
• 2022年5月13日 (五) 00:46 Allen (讨论 | 贡献)标记页面GNU Emacs的版本164115为已巡查
• 2022年5月12日 (四) 16:32 Allen (讨论 | 贡献)标记页面We build open source erp的版本164114为已巡查
• 2022年5月12日 (四) 16:30 Allen (讨论 | 贡献)标记页面E3的版本164113为已巡查
• 2022年5月12日 (四) 16:29 Allen (讨论 | 贡献)上传“文件:Axelor-logo.png” (https://axelor.com/ category:axelor category:ERP category:CRM category:BPM category:java)
• 2022年5月12日 (四) 16:27 Allen (讨论 | 贡献)标记页面Axelor的版本164111为已巡查
• 2022年5月12日 (四) 16:13 Allen (讨论 | 贡献)标记页面MediaWiki:Sitenotice的版本164110为已巡查
• 2022年5月12日 (四) 14:53 Allen (讨论 | 贡献)标记页面Keycloak的版本164109为已巡查
• 2022年5月12日 (四) 14:51 Allen (讨论 | 贡献)上传“文件:Quarkus-logo.png” (https://github.com/quarkusio category:MicroProfile category:microservices category:eclipse category:java)
• 2022年5月12日 (四) 14:50 Allen (讨论 | 贡献)标记页面Quarkus的版本164107为已巡查
• 2022年5月12日 (四) 13:42 Allen (讨论 | 贡献)标记页面Keycloak的版本164106为已巡查
• 2022年5月12日 (四) 13:30 Allen (讨论 | 贡献)标记页面Keycloak的版本164105为已巡查
• 2022年5月12日 (四) 13:29 Allen (讨论 | 贡献)标记页面Keycloak的版本164104为已巡查
• 2022年5月12日 (四) 11:32 Allen (讨论 | 贡献)标记页面Terminal的版本164103为已巡查
• 2022年5月12日 (四) 10:55 Allen (讨论 | 贡献)标记页面Sdkman的版本164102为已巡查
• 2022年5月12日 (四) 10:14 Allen (讨论 | 贡献)标记页面Gravitee的版本164101为已巡查
• 2022年5月12日 (四) 10:08 Allen (讨论 | 贡献)上传“文件:Gravitee-logo.png” (https://github.com/gravitee-io category:API category:gateway category:java)
• 2022年5月12日 (四) 10:07 Allen (讨论 | 贡献)标记页面Gravitee的版本164099为已巡查
• 2022年5月12日 (四) 08:41 Allen (讨论 | 贡献)标记页面Security的版本164098为已巡查
• 2022年5月12日 (四) 08:41 Allen (讨论 | 贡献)标记页面Security的版本164097为已巡查
• 2022年5月12日 (四) 08:30 Allen (讨论 | 贡献)标记页面MediaWiki:Sitenotice的版本164096为已巡查
• 2022年5月12日 (四) 08:30 Allen (讨论 | 贡献)标记页面MediaWiki:Sitenotice的版本164095为已巡查
• 2022年5月12日 (四) 08:29 Allen (讨论 | 贡献)标记页面MediaWiki:Sitenotice的版本164094为已巡查
• 2022年5月12日 (四) 08:29 Allen (讨论 | 贡献)标记页面MediaWiki:Sitenotice的版本164093为已巡查
• 2022年5月12日 (四) 08:27 Allen (讨论 | 贡献)上传“文件:Aswf-landscape.png”的新版本
• 2022年5月12日 (四) 07:54 Allen (讨论 | 贡献)上传“文件:Eclipse-IoT-logo.png” (https://iot.eclipse.org/ category:Internet of Things category:eclipse)
• 2022年5月12日 (四) 07:52 Allen (讨论 | 贡献)标记页面Eclipse IoT的版本164090为已巡查
• 2022年5月12日 (四) 07:06 Allen (讨论 | 贡献)标记页面灰狐大脑的版本164089为已巡查
• 2022年5月12日 (四) 05:11 Allen (讨论 | 贡献)标记页面OpenMovie的版本164088为已巡查
• 2022年5月12日 (四) 03:13 Allen (讨论 | 贡献)上传“文件:Calm-your-worries.jpeg” (category:book)
• 2022年5月12日 (四) 02:58 Allen (讨论 | 贡献)上传“文件:Internet-Marketing-168.jpeg” (category:book category:m3)
• 2022年5月12日 (四) 02:29 Allen (讨论 | 贡献)上传“文件:Adobe-Alternatives.png” (category:adobe)
• 2022年5月12日 (四) 01:49 Allen (讨论 | 贡献)上传“文件:Apple-II.jpeg” (category:book)