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

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

• 2022年5月23日 (一) 12:37 Allen (讨论 | 贡献)标记页面ACE的版本164426为已巡查
• 2022年4月1日 (五) 06:39 Allen (讨论 | 贡献)标记页面ACE的版本162339为已巡查
• 2018年7月8日 (日) 12:29 Allen (讨论 | 贡献)标记页面ACE的版本149965为已巡查
• 2017年1月22日 (日) 07:42 Allen (讨论 | 贡献)标记页面ACE的版本142458为已巡查
• 2017年1月22日 (日) 07:15 Allen (讨论 | 贡献)标记页面ACE的版本142455为已巡查
• 2016年12月2日 (五) 08:11 Allen (讨论 | 贡献)标记页面ACE的版本141921为已巡查
• 2016年7月19日 (二) 05:23 Allen (讨论 | 贡献)标记页面ACE的版本139617为已巡查
• 2016年7月19日 (二) 05:23 Allen (讨论 | 贡献)标记页面ACE的版本139616为已巡查
• 2016年7月18日 (一) 09:06 Allen (讨论 | 贡献)标记页面ACE的版本139611为已巡查
• 2013年1月21日 (一) 07:53 Allen (讨论 | 贡献)标记页面ACE的版本123851为已巡查
• 2013年1月19日 (六) 05:17 Allen (讨论 | 贡献)标记页面ACE的版本123782为已巡查
• 2013年1月12日 (六) 04:47 Allen (讨论 | 贡献)标记页面ACE的版本123579为已巡查
• 2012年12月26日 (三) 03:46 Allen (讨论 | 贡献)标记页面ACE的版本123339为已巡查
• 2012年12月26日 (三) 03:36 Allen (讨论 | 贡献)标记页面ACE的版本123333为已巡查
• 2012年12月26日 (三) 03:10 Allen (讨论 | 贡献)标记页面ACE的版本123332为已巡查
• 2010年9月26日 (日) 03:13 Allen (讨论 | 贡献)标记页面ACE的版本37900为已巡查
• 2010年9月24日 (五) 09:37 Allen (讨论 | 贡献)标记页面ACE的版本37509为已巡查
• 2010年9月16日 (四) 04:39 Allen (讨论 | 贡献)移动ACE页面至Adaptive Communication Environment
• 2010年9月14日 (二) 04:07 Allen (讨论 | 贡献)标记页面ACE的版本34003为已巡查
• 2010年9月14日 (二) 04:06 Allen (讨论 | 贡献)标记页面ACE的版本34002为已巡查
• 2010年9月9日 (四) 03:47 Allen (讨论 | 贡献)标记页面ACE的版本32721为已巡查
• 2010年9月2日 (四) 16:26 Allen (讨论 | 贡献)标记页面ACE的版本29057为已巡查
• 2006年8月13日 (日) 07:54 WikiSysop (讨论 | 贡献)移动ACE页面至ADAPTIVE Communication Environment