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

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

• 2014年12月30日 (二) 12:36 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129552为已巡查
• 2014年12月23日 (二) 03:05 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129322为已巡查
• 2014年12月21日 (日) 01:07 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129262为已巡查
• 2014年12月21日 (日) 00:22 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129260为已巡查
• 2014年12月20日 (六) 16:32 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129259为已巡查
• 2014年12月20日 (六) 16:29 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129258为已巡查
• 2014年12月20日 (六) 16:04 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129256为已巡查
• 2014年12月20日 (六) 15:50 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129255为已巡查
• 2014年12月20日 (六) 10:48 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129242为已巡查
• 2014年12月20日 (六) 10:45 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129241为已巡查
• 2014年12月20日 (六) 05:58 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129235为已巡查
• 2014年12月20日 (六) 04:30 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129233为已巡查
• 2014年12月20日 (六) 03:01 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129231为已巡查
• 2014年12月20日 (六) 02:44 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129229为已巡查
• 2014年12月20日 (六) 02:16 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129224为已巡查
• 2014年12月20日 (六) 01:57 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129220为已巡查
• 2014年12月19日 (五) 10:53 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129211为已巡查
• 2014年12月19日 (五) 10:52 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129210为已巡查
• 2014年12月19日 (五) 09:27 Allen (讨论 | 贡献)标记页面Nuxeo/developer的版本129202为已巡查