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

您可以将特定页面或一组页面的文本以及编辑历史以XML格式导出；这样可以将有关页面通过“导入页面”页面导入到另一个运行MediaWiki的网站。

要导出页面，请在下面的文本框中输入页面标题，每行一个标题，并选择你是否需要导出带有页面历史的以前的修订本，或是只选择导出带有最后一次编辑信息的当前修订版本。

此外你还可以利用链接导出文件，例如你可以使用特殊:导出页面/首页导出“首页”页面。