欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
保护日志
下面是页面保护更改的列表。请见受保护页面列表查看目前正在进行的页面保护的列表。
- 2010年8月29日 (日) 04:40 Allen (讨论 | 贡献)更改“用户:Allen Long”的保护等级 [edit=sysop] (无期) [move=sysop] (无期) (历史)
- 2010年8月29日 (日) 04:39 Allen (讨论 | 贡献)更改“用户:Allen Long”的保护等级 [edit=autoconfirmed] (无期) [move=autoconfirmed] (无期) (历史)
- 2010年8月24日 (二) 04:18 Allen (讨论 | 贡献)保护“用户:Allen Long” [edit=sysop] (无期) [move=sysop] (无期) (历史)
- 2010年8月24日 (二) 04:17 Allen (讨论 | 贡献)删除“用户:Allen Long”的保护 (历史)
- 2010年8月24日 (二) 04:16 Allen (讨论 | 贡献)更改“用户:Allen Long”的保护等级 [edit=sysop] (无期) [move=sysop] (无期) (历史)
- 2010年8月24日 (二) 04:16 Allen (讨论 | 贡献)更改“用户:Allen Long”的保护等级 [edit=autoconfirmed] (无期) [move=autoconfirmed] (无期) (历史)
分享您的观点