新增功能

；2015年1月17日*在我们旧服务器老化一年后出现问题，twelf.org被转移到了一台新机器上。一些功能，如Twelf Live和语法高亮显示，仍然只存在于[网址：http://twelf.plparty.org旧站点]。让罗布了解新网站中的任何其他缺陷。

；2013年6月10日

Taus Brock-Nannestad、Chris Martens和Carsten Schürmann将举行[http://www.twelf.org/wiki/CADE_Tutorial网站CADE的Twelf教程]。

；2012年10月26日

约翰·博伊兰的[https://github.com/boyland/twelf-library网址Github上提供了Twelf库]。

<仅包括>要阅读有关旧更新的信息，请参阅有什么新功能？第页。</includeonly><noinclude>

存档的帖子

<!—||=====开始存档部分========================||低于此点的帖子将不再显示在主页上。要存档|更多帖子将此通知与副标题和|<noinclude>和<include only>标记|在页面上更高一点->

；2011年9月2日

我们终于从twelf.plparty.org迁移到了twelf.org！所有旧的链接将至少持续到2013年8月（实际上它们应该无限期地继续工作）。

；2011年3月19日

多年来，只有subversion分支才添加了新功能，现在Twelf有了一个新的官方点发布！Twelf 1.7.1包含本网站上记录的许多修复和新功能，强烈建议使用1.7之前的任何版本的Twolf。在subversion存储库中，Twelf的“开发”版本保持相当稳定，也推荐使用。转到下载页面以获取Twelf。

；2010年9月1日

Twelf Wiki已经进行了升级，在这个过程中，语法高亮显示的代码TwelfTag（调整标签）该系统已被大幅改写和简化。然而，这意味着（twelf）标记的几个不推荐使用的非即时使用选项现在不起作用，并打印错误消息。在上留言Rob的谈话页面如果您在Twelf代码周围看到任何奇怪的错误消息。

；2009年2月22日

罗布有关于的案例研究松散逻辑使用切割的可接受性和恒等式显示了lax逻辑的两个连续演算表示之间的合理和完全的对应。

；2008年10月1日

卡斯滕他说：由于国际电联一些过于活跃的系统管理员的工作，几周前他们的邮件列表被意外删除。从那以后，我尝试重建订户列表，或多或少都取得了成功，但仍有一些我遗漏了。因此，如果你最近没有收到任何来自该列表的邮件，但你希望能在其中，请在下重新订阅[[http://mail.itu.dk/mailman/listinfo/twelf-list http://mail.itu.dk/mailman/listinfo/twelf-list]]。

；2008年9月19日

我们正在运行一个Twelf教程与POPL 2009合用。

；2008年7月19日

丹已添加UofO暑期学校的课程材料.

；2008年1月28日

约翰将Rob的示例带入下一步，并直接在λ和自然数的HOAS编码.

；2007年10月4日

罗布在上发布了一个页面具体表现基于提问者约翰关于演示HOAS和具体术语表示之间的对应关系。

；2007年4月25日

托德发布了辅导的关于使用教会编码创建用户定义的约束域第条。

；2007年4月11日

如果你在学习Twelf时想出了一些练习，请将它们添加到简介教程.

；2007年3月21日

正式发布日！感谢[[项目：贡献者|到目前为止做出贡献的所有人，欢迎新访客。

；2007年3月16日

丹修改和扩展了教程，并在上写了新的一目了然的情况第页，数字终止度量、和遗传替代.

；2007年3月14日

丹已经完成了介绍性文章的草稿用Twelf证明元定理.

；2007年2月28日

Twelf Project wiki现在支持上传SVG图像！查看上的文章表格逻辑程序设计举一个例子来说，这允许出现不必要的美丽插图。

2007年2月24日

罗布已扩展[[项目：第十二个标签|TwelfTag]]功能，便于使用[[项目：识字Twelf|Literate Twelf]]。

2007年1月25日

罗布已开发出测试版[http://twelf.plparty.org/buildsbuild-system]具有源代码、Linux二进制文件和Windows安装程序版本的“CVS Twelf”

2006年12月1日

汤姆为[[：category:undocumented添加了类别功能|未记录的功能]]

2006年10月30日

汤姆发布了案例研究在切割的可接受性.

2006年10月20日

满意的发布了辅导的在加强.

2006年10月19日

卡斯滕正在开发案例研究在列表.

2006年10月18日

汤姆发布了案例研究对于经典S5.

2006年10月16日

卡尔发布了案例研究在线性逻辑.

2006年10月14日

alpha版本的“[[项目：AJALF|AJALF]]“-供电Twelf现场已联机
丹已启动询问Twelf Elf通过电子邮件提供Twelf帮助的项目

2006年10月13日

编辑器界面现在有一个[[Project:TwelfTag#Twelf代码的快速检查|快速检查]]按钮，感谢“[[Project:AJALF|AJALF]]“技术。

2006年10月9日

[[项目：TwelfTag|TwelfTag]]系统现在允许在wiki中直接检查代码。
卡斯滕添加了代码来证明莉莉到案例研究.

2006年10月5日

汤姆发布了高级[[：category:教程|教程]]上CPS转换.

2006年9月30日

维基已经转移到了它在[http://moog.contert.cs.cmu.edu/Moog服务器]，并指定了永久域名twelf.plparty.org。
非技术性的初稿快速介绍已引入供考虑。

2006年9月28日

替换引理-丹·李对Twelf处理替换引理的不同方式的透彻解释。
Twelf CVS公司-我们从软件页面获得了从CVS存储库下载Twelf开发版本的说明。Twelf的CVS版本具有wiki上描述的未记录的功能，例如其与元定理中的洞.

</noinclude>

此页面是从Twelf Wiki的MediaWiki版本复制而来的。如果有任何问题，您可以参考这里是回程机器的版本.