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

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

• 2014年12月21日 (日) 07:15 Allen (讨论 | 贡献)标记页面Jenkins的版本129270为已巡查
• 2014年12月21日 (日) 06:47 Allen (讨论 | 贡献)标记页面Jenkins的版本129269为已巡查
• 2014年12月21日 (日) 05:14 Allen (讨论 | 贡献)标记页面Jenkins的版本129268为已巡查
• 2014年12月21日 (日) 05:13 Allen (讨论 | 贡献)标记页面Jenkins的版本129267为已巡查
• 2014年12月21日 (日) 02:56 Allen (讨论 | 贡献)标记页面Jenkins的版本129266为已巡查
• 2014年12月21日 (日) 01:28 Allen (讨论 | 贡献)标记页面Jenkins的版本129265为已巡查
• 2014年12月21日 (日) 01:25 Allen (讨论 | 贡献)标记页面Jenkins的版本129264为已巡查
• 2014年12月21日 (日) 01:13 Allen (讨论 | 贡献)标记页面Jenkins的版本129263为已巡查
• 2014年12月14日 (日) 06:13 Allen (讨论 | 贡献)标记页面Jenkins的版本129027为已巡查
• 2014年12月14日 (日) 04:57 Allen (讨论 | 贡献)标记页面Jenkins的版本129025为已巡查
• 2014年12月14日 (日) 03:01 Allen (讨论 | 贡献)标记页面Jenkins的版本129024为已巡查
• 2014年12月14日 (日) 02:41 Allen (讨论 | 贡献)标记页面Jenkins的版本129023为已巡查
• 2014年10月28日 (二) 11:27 Allen (讨论 | 贡献)标记页面Jenkins的版本128503为已巡查
• 2014年9月12日 (五) 03:56 Allen (讨论 | 贡献)标记页面Jenkins的版本127984为已巡查
• 2013年5月8日 (三) 08:26 Allen (讨论 | 贡献)标记页面Jenkins的版本125856为已巡查
• 2013年5月8日 (三) 06:48 Allen (讨论 | 贡献)标记页面Jenkins的版本125853为已巡查
• 2013年5月6日 (一) 11:59 Allen (讨论 | 贡献)标记页面Jenkins的版本125821为已巡查
• 2013年5月6日 (一) 04:04 Allen (讨论 | 贡献)标记页面Jenkins的版本125819为已巡查
• 2013年5月3日 (五) 07:03 Allen (讨论 | 贡献)标记页面Jenkins的版本125800为已巡查
• 2013年5月2日 (四) 23:30 Allen (讨论 | 贡献)标记页面Jenkins的版本125787为已巡查
• 2013年5月2日 (四) 23:27 Allen (讨论 | 贡献)标记页面Jenkins的版本125786为已巡查
• 2013年5月2日 (四) 15:55 Allen (讨论 | 贡献)标记页面Jenkins的版本125785为已巡查
• 2013年5月2日 (四) 07:17 Allen (讨论 | 贡献)标记页面Jenkins的版本125776为已巡查
• 2013年5月2日 (四) 06:50 Allen (讨论 | 贡献)标记页面Jenkins的版本125775为已巡查
• 2013年5月2日 (四) 06:26 Allen (讨论 | 贡献)标记页面Jenkins的版本125774为已巡查
• 2013年5月2日 (四) 06:26 Allen (讨论 | 贡献)标记页面Jenkins的版本125773为已巡查
• 2013年5月2日 (四) 06:18 Allen (讨论 | 贡献)标记页面Jenkins的版本125772为已巡查
• 2013年5月2日 (四) 06:15 Allen (讨论 | 贡献)标记页面Jenkins的版本125771为已巡查
• 2013年5月2日 (四) 06:12 Allen (讨论 | 贡献)标记页面Jenkins的版本125770为已巡查
• 2013年5月2日 (四) 05:54 Allen (讨论 | 贡献)标记页面Jenkins的版本125769为已巡查
• 2013年4月28日 (日) 09:30 Allen (讨论 | 贡献)标记页面Jenkins的版本125724为已巡查
• 2013年4月27日 (六) 13:48 Allen (讨论 | 贡献)标记页面Jenkins的版本125710为已巡查
• 2013年4月27日 (六) 13:29 Allen (讨论 | 贡献)标记页面Jenkins的版本125709为已巡查
• 2013年4月27日 (六) 12:30 Allen (讨论 | 贡献)标记页面Jenkins的版本125708为已巡查
• 2013年4月27日 (六) 12:24 Allen (讨论 | 贡献)标记页面Jenkins的版本125707为已巡查
• 2013年4月27日 (六) 12:23 Allen (讨论 | 贡献)标记页面Jenkins的版本125706为已巡查
• 2013年4月26日 (五) 14:40 Allen (讨论 | 贡献)标记页面Jenkins的版本125698为已巡查
• 2013年4月26日 (五) 14:21 Allen (讨论 | 贡献)标记页面Jenkins的版本125696为已巡查
• 2013年4月26日 (五) 14:17 Allen (讨论 | 贡献)标记页面Jenkins的版本125695为已巡查
• 2013年4月26日 (五) 13:38 Allen (讨论 | 贡献)标记页面Jenkins的版本125692为已巡查
• 2013年4月26日 (五) 13:37 Allen (讨论 | 贡献)标记页面Jenkins的版本125691为已巡查
• 2013年4月26日 (五) 13:36 Allen (讨论 | 贡献)标记页面Jenkins的版本125690为已巡查
• 2013年4月26日 (五) 13:18 Allen (讨论 | 贡献)标记页面Jenkins的版本125689为已巡查
• 2013年4月26日 (五) 12:16 Allen (讨论 | 贡献)标记页面Jenkins的版本125688为已巡查
• 2013年4月26日 (五) 08:42 Allen (讨论 | 贡献)标记页面Jenkins的版本125687为已巡查
• 2013年4月26日 (五) 08:41 Allen (讨论 | 贡献)标记页面Jenkins的版本125686为已巡查
• 2013年4月26日 (五) 08:31 Allen (讨论 | 贡献)标记页面Jenkins的版本125685为已巡查
• 2013年4月26日 (五) 08:29 Allen (讨论 | 贡献)标记页面Jenkins的版本125684为已巡查
• 2013年4月26日 (五) 05:56 Allen (讨论 | 贡献)标记页面Jenkins的版本125677为已巡查
• 2013年4月26日 (五) 05:25 Allen (讨论 | 贡献)标记页面Jenkins的版本125676为已巡查