欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
(最后 | 最早) 查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)
- 2010年10月7日 (四) 04:13 (差异 | 历史) . . (+24) . . 新 MediaWiki:Watchlistedit-raw-title (以内容'编辑原始关注列表'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:13 (差异 | 历史) . . (+18) . . 新 MediaWiki:Watchlistedit-raw-submit (以内容'更新关注列表'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:13 (差异 | 历史) . . (+24) . . 新 MediaWiki:Watchlistedit-raw-legend (以内容'编辑原始关注列表'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:12 (差异 | 历史) . . (+263) . . 新 MediaWiki:Watchlistedit-raw-explain (以内容'您的关注列表中的标题在下面显示,同时亦都可以通过编辑这个表去加入以及移除标题;一行一个标题。当完成以后,点击{{int:Watc...'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:12 (差异 | 历史) . . (+33) . . 新 MediaWiki:Watchlistedit-raw-done (以内容'您的关注列表已经更新。'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:12 (差异 | 历史) . . (+71) . . 新 MediaWiki:Watchlistedit-numitems (以内容'您的关注列表中共有$1个标题,当中不包括对话页面。'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:11 (差异 | 历史) . . (+18) . . 新 MediaWiki:Watchlistedit-normal-title (以内容'编辑关注列表'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:11 (差异 | 历史) . . (+30) . . 新 MediaWiki:Watchlistedit-normal-legend (以内容'从关注列表中移除标题'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:10 (差异 | 历史) . . (+225) . . 新 MediaWiki:Watchlistedit-normal-explain (以内容'在您的关注列表中的标题在下面显示。 要移除一个标题,在它前面剔一下,接着点击“{{int:Watchlistedit-normal-submit}}”。 您亦都可以...'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:10 (差异 | 历史) . . (+50) . . 新 MediaWiki:Watchlistedit-normal-done (以内容'$1个标题已经从您的关注列表中移除:'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:09 (差异 | 历史) . . (+33) . . 新 MediaWiki:Watchlistedit-noitems (以内容'您的关注列表并无标题。'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:09 (差异 | 历史) . . (+38) . . 新 MediaWiki:Watchlistcontains (以内容'您的关注列表包含$1个页面。'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:08 (差异 | 历史) . . (+44) . . 新 MediaWiki:Watchlistanontext (以内容'请$1以查看或编辑您的关注列表。'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:03 (差异 | 历史) . . (+18) . . 新 MediaWiki:Watchlist-options (以内容'关注列表选项'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:02 (差异 | 历史) . . (+58) . . 新 MediaWiki:Watchlist-details (以内容'不包含讨论页,有 $1 页在您的关注列表上。'创建新页面) (最后更改)
- 2010年10月7日 (四) 04:00 (差异 | 历史) . . (+12) . . 新 MediaWiki:Watchlist (以内容'关注列表'创建新页面) (最后更改)
- 2010年10月7日 (四) 03:59 (差异 | 历史) . . (+6) . . 新 MediaWiki:Watch (以内容'关注'创建新页面) (最后更改)
- 2010年10月7日 (四) 02:57 (差异 | 历史) . . (0) . . Open Wiki (→Change)
- 2010年10月7日 (四) 02:56 (差异 | 历史) . . (+38) . . Open Wiki (→Change)
- 2010年10月7日 (四) 02:51 (差异 | 历史) . . (+3) . . 沙盒 (→CategoryTree)
分享您的观点