欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
系统信息
此处列出了MediaWiki名字空间下的所有有效系统消息。 如果想为MediaWiki的本地化贡献翻译，请访问MediaWiki本地化和translatewiki.net。
 首页 |
 上一页 |
 下一页 |
 末页 |
| 名称 | 默认信息文字 |
|---|---|
| 当前消息文本 | |
| virus-scanfailed (讨论) | 扫描失败（代码 $1） |
| virus-unknownscanner (讨论) | 未知的反病毒软件： |
| wantedcategories (讨论) | 需要的分类 |
| wantedcategories-summary (讨论) | |
| wantedfiles (讨论) | 需要的文件 |
| wantedfiles-summary (讨论) | |
| wantedfiletext-cat (讨论) | 下列被使用的文件并不存在。已列出可能存在外部媒体库中的文件。任何此类误报将被<del>剔除</del>。此外，[[:$1]]列出列出了嵌入不存在文件的页面。 |
| wantedfiletext-nocat (讨论) | 下列被使用的文件并不存在。已列出可能存在外部媒体库中的文件。任何此类误报将被<del>剔除</del>。 |
| wantedpages (讨论) | 待撰页面 |
| wantedpages-badtitle (讨论) | 在结果组上的无效标题：$1 |
| wantedpages-summary (讨论) | |
| wantedtemplates (讨论) | 需要的模板 |
| wantedtemplates-summary (讨论) | |
| watcherrortext (讨论) | 更改“$1”的监视列表设置时出错。 |
| watching (讨论) | 正在监视... |
| watchlistall2 (讨论) | 全部 |
| watchlistedit-normal-submit (讨论) | 删除标题 |
| watchlistedit-raw-added (讨论) | $1个标题被添加： |
| watchlistedit-raw-removed (讨论) | $1个标题被删除： |
| watchlistedit-raw-titles (讨论) | 标题： |
| watchlistfor2 (讨论) | $1的监视列表$2 |
| watchlisttools-view (讨论) | 查看监视更改 |
| watchnologin (讨论) | 未登录 |
| wed (讨论) | 三 |
首页 |
上一页 |
下一页 |
末页 |
分享您的观点
