来自Agda Wiki

网站：AllRecentChanges

• 主要。AIMXXXVIII公司。2024年4月18日下午02:26签字人：
• 主要。主页。2024年3月15日下午01:18通过安东·塞泽尔：为AIM XXXVIII Swansea添加日期
• 主要。Agda会议。2024年3月15日下午01:16通过安东·塞策：增加了斯旺西阿格达会议目标三十八
• 图书馆。标准库。2024年3月6日上午10:50通过安德烈亚斯·阿贝尔：Agda 2.6.4.3发布
• 主要。下载。2024年3月6日上午10:48通过安德烈亚斯·阿贝尔:
• 主要。论文使用Agda。2024年1月16日上午09:46通过阿努伊茨：添加我的文件
• 主要。AIMXXXVII系列。2023年11月24日上午10:13通过L-T陈:
• 主要。窗户。2023年10月13日下午04:48通过安德烈亚斯·阿贝尔：Delete NotOneClick Windows Installer，指向agda.google（断开）
• 窗户。注意事项。2023年10月13日下午04:46通过安德烈亚斯·阿贝尔:
• 主要。历史。2023年9月21日上午10:25通过蒂埃里:
• 主要。AIMXXXVI公司。2023年5月17日上午10:29签字人：
• 主要。目标。2023年1月20日下午06:34签字人：
• 主要。AIMO组织者指南。2023年1月4日，08:00 pm签字人：
• 主要。AIMXXI公司。2022年11月18日上午08:31通过奥雷斯蒂斯·梅尔科尼安：将Google Drive链接添加到幻灯片。
• 主要。黑客攻击准备。2022年11月9日晚上10:21通过阿努伊茨:
• 现场。提要栏。2022年11月4日上午10:05签字人：
• 主要。Howto公司。2022年11月4日上午10:00签字人：
• 主要。文档。2022年11月4日上午09:58签字人：
• 主要。课程。2022年11月4日上午09:55由？：
• 主要。Getting开始。2022年11月4日上午09:49签字人：
• 主要。图书馆。2022年11月3日下午12:49签字人：
• 主要。其他汽车。2022年11月3日下午12:44签字人：
• 主要。AIMXXXV公司。2022年5月10日下午07:48通过奥雷斯蒂斯·梅尔科尼安:
• 图书馆。美国石油协会. . . 2021年11月22日上午12:33由？：
• 主要。社区. . . 2021年9月28日凌晨01:24雅克·卡雷特:
• 主要。AIMXXIV公司. . . 2021年6月11日下午05:55？：
• 主要。AIMXXIV包装. . . 2021年6月11日下午03时43分，签字人：
• 主要。AIMXXIII系列. . . 2021年5月26日下午12:13由？：
• 主要。AIMXXII系列. . . 2020年10月24日上午09:38，提交人：
• 主要。AIMXXIII包. . . 2020年10月23日下午01:43，由：
• AIMXXIII。Logo竞争. . . 2020年7月27日上午07:31
• 参考手册。合计. . . 2020年7月3日上午08:35法比安·昆泽：Coq允许的不仅仅是基本递归定义，例如fib。
• 现场。页面操作. . . 2020年3月20日下午01:08以利亚ITA：已禁用
• 主要。类型2007年暑期学校. . . 2019年10月29日上午09:31加莱：已删除垃圾邮件
• 主要。AIMXXX公司. . . 2019年9月18日上午08:59许创杰：整理参与者名单
• AIMXXX。总结. . . 2019年9月17日下午06:42约翰·利奥:
• ForkedReferenceManual（分叉参考手册）。记录. . . 2019年4月26日下午01:03加莱：恢复故意破坏
• 主要。AIMXXIX公司. . . 2019年3月19日上午07:50悠悠：总结会议（第7天）
• 参考手册2.源文件. . . 2018年12月14日下午06:47由：
• 参考手册2.相互声明. . . 2018年12月14日下午06:46由：
• 参考手册2.Mixfix. . . 2018年12月14日下午06:46由：
• 参考手册2.文字. . . 2018年12月14日下午06:46由：
• 参考手册2.词汇事项. . . 2018年12月14日，下午06:45，签字人：
• 参考手册2.简介. . . 2018年12月14日，下午06:45，签字人：
• 参考手册2.标识符. . . 2018年12月14日下午06:44由：
• 参考手册2.固定性. . . 2018年12月14日下午06:44由：
• 参考手册2.相关类型. . . 2018年12月14日，下午06:43，签字人：
• 参考手册2.数据. . . 2018年12月14日，下午06:43，签字人：
• 参考手册2.核心语法. . . 2018年12月14日下午06:43？：
• 参考手册2.编译. . . 2018年12月14日下午06:42由：
• 参考手册2.注释. . . 2018年12月14日，下午06:41，签字人：
• 参考手册。参考手册. . . 2018年12月14日下午06:40由：
• 参考手册。道具. . . 2018年12月14日下午06:39由？：
• 参考手册。概述. . . 2018年12月14日下午06:38由？：
• 参考手册。非递归ResolutionForInstanceArguments. . . 2018年12月14日下午06:37由？：
• 参考手册。带实例参数的建模类型类. . . 2018年12月14日下午06:36由？：
• 参考手册。核心语法. . . 2018年12月14日下午06:35？：
• 参考手册。巴丁·哈斯克尔. . . 2018年12月14日下午06:35由？：
• 参考手册。编译器. . . 2018年12月14日下午06:33由？：
• 文件。如何查看Unicode. . . 2018年12月14日下午06:32由？：
• 参考手册。Emacs公司. . . 2018年12月14日下午06:31由？：
• 参考手册。相互的. . . 2018年12月14日下午06:31由？：
• 参考手册。图案匹配Lambdas. . . 2018年12月14日，下午06:30，签字人：
• 参考手册。代码类型. . . 2018年12月14日，下午06:30，签字人：
• 参考手册。词汇问题. . . 2018年12月14日下午06:29由？：
• 参考手册。隐式参数. . . 2018年12月14日下午06:29由？：
• 参考手册。本地定义. . . 2018年12月14日下午06:28由？：
• 参考手册。不带表情. . . 2018年12月14日下午06:27由？：
• 参考手册。参数化感应类型. . . 2018年12月14日下午06:26由？：
• 参考手册。简单导电类型. . . 2018年12月14日下午06:26？：
• 参考手册。归纳数据类型和模式匹配. . . 2018年12月14日下午06:25由？：
• 参考手册。查找隐式参数的值. . . 2018年12月14日下午06:24由？：
• 参考手册。Agda项目结构. . . 2018年12月14日下午06:22由？：
• 参考手册。简介什么. . . 2018年12月14日下午05:39由？：
• 参考手册。标准库. . . 2018年12月14日下午5时24分，签字人：
• 参考手册。识字Agda. . . 2018年12月14日下午5时19分，签字人：
• 参考手册。国外功能接口. . . 2018年12月14日下午5时18分，签字人：
• 参考手册。汇编. . . 2018年12月14日下午05:18？：
• 参考手册。编译指示. . . 2018年12月14日下午5时17分，签字人：
• 参考手册。无关性. . . 2018年12月14日下午5时15分，签字人：
• 参考手册。反思. . . 2018年12月14日下午5时13分，签字人：
• 参考手册。宇宙多态性. . . 2018年12月14日下午5时12分，签字人：
• 参考手册。终止检查器. . . 2018年12月14日下午04:35由？：
• 参考手册。模块. . . 2018年12月14日，下午04:00，签字人：
• 参考手册。模式匹配. . . 2018年12月14日下午03时58分，签字人：
• 参考手册。功能. . . 2018年12月14日下午03时57分，签字人：
• 参考手册。假设. . . 2018年12月14日下午03时56分，签字人：
• 参考手册。录音教程. . . 2018年12月14日下午03时56分，签字人：
• 参考手册。记录. . . 2018年12月14日下午03时55分，签字人：
• 参考手册。数据. . . 2018年12月14日下午03时52分，签字人：
• 参考手册。声明. . . 2018年12月14日下午03时51分，签字人：
• 参考手册。图案匹配Lambdas. . . 2018年12月14日下午03时49分，签字人：
• 参考手册。实例参数. . . 2018年12月14日下午03时48分，签字人：
• 参考手册。隐式参数. . . 2018年12月14日下午03时46分，签字人：
• 参考手册。固定性声明. . . 2018年12月14日下午03时45分，签字人：
• 参考手册。米克斯菲克斯. . . 2018年12月14日下午03时44分，签字人：
• 参考手册。布局. . . 2018年12月14日下午03时43分，签字人：
• 参考手册。关键词. . . 2018年12月14日下午03时42分，签字人：
• 参考手册。姓名. . . 2018年12月14日下午03时41分，签字人：
• 参考手册。直接常量. . . 2018年12月14日下午03时40分，签字人：
• 参考手册。评论. . . 2018年12月14日下午03时39分，签字人：
• 参考手册。源文件. . . 2018年12月14日下午03时38分，签字人：
• 主要。AIMXVIII公司. . . 2018年11月11日下午01:45尼古拉:
• 文件。马隆佐. . . 2018年10月12日，09:11 PM，签字人：
• 主要。AIMXXV公司. . . 2018年10月6日下午09:54乔纳森·普列托·库比德斯：修复了输入错误
• 主要。MacOSX公司. . . 2018年7月15日11:56 PM乔米·科库特：修复输入错误：adga->agda
• 主要。AIMXXVII系列. . . 2018年6月8日上午07:38由？：
• AIMXXVII。AIMXXVII系列. . . 2018年4月11日上午09:49由？：
• 主要。插座. . . 2018年2月5日，10:04 PM，签字人：
• 第二十六条。总结. . . 2018年2月5日下午01:22安德烈亚斯·阿贝尔:
• 主要。AIMXVI公司. . . 2018年2月5日下午01:02安德烈亚斯·阿贝尔:
• 参考手册。总有机碳. . . 2018年1月22日下午03:17语音识别：删除了损坏的项目
• 参考手册。局部定义. . . 2018年1月22日下午03时13分语音识别：移至阅读文档
• 主要。如何从源代码生成网页. . . 2018年1月21日下午03:52语音识别：移至阅读文档
• 文件。Unicode输入. . . 2018年1月21日下午03:40语音识别:
• 主要。自动. . . 2018年1月21日下午03:30语音识别：移至阅读文档
• 参考手册。Emacs接口. . . 2018年1月21日凌晨02:08语音识别：清洁
• 主要。编辑类型检查和组合年龄代码快速指南. . . 2018年1月20日下午06:20语音识别：移至阅读文档
• 主要。键入键的符号. . . 2018年1月20日下午03:16语音识别：移至阅读文档
• 卡瓦尔。Linux操作系统. . . 2017年12月27日下午06:22语音识别：移动安装说明以阅读文档
• 主要。自由BSD. . . 2017年12月27日下午03:05语音识别：移动安装说明以阅读文档
• 主要。Linux操作系统. . . 2017年12月27日下午03:04语音识别：移动安装说明以阅读文档
• 主要。缩写. . . 2017年11月29日下午03:48由？：
• PmWiki。URL批准. . . 2017年10月8日下午02:17加莱：删除垃圾邮件
• 主要。Windows备注-2-4-2. . . 2017年9月23日上午07:30由？：
• AIMXXV。总结. . . 2017年5月15日下午05:10加莱：今天的总结
• 主要。Agda实施者会议二十五. . . 2017年5月2日下午07:41维克托·洛佩斯·胡安:
• 主要。图书馆和其他发展. . . 2017年4月29日上午12:13由？：
• 主要。使用Agda的论文. . . 2017年4月18日上午09:38加莱：新纸张
• 参考手册。Agda参考手册. . . 2017年4月14日下午03:44语音识别：将“自动”文档移至用户手册
• 主要。自动. . . 2017年4月14日下午03:38语音识别：移至用户手册
• 主要。文档. . . 2017年4月11日下午01:07由？：
• 参考手册。编译指示. . . 2017年3月30日下午02:32语音识别：将`--with-K`和`without-K`的文档移到用户手册中
• 主要。阿格达. . . 2017年3月20日下午04:39维克托·洛佩斯·胡安：AIM XXV的时间
• 开发人员手册。错误修复. . . 2017年3月18日下午5:19schatzmann320型：修复输入错误
• 卡瓦尔。Linux-Talk公司. . . 2017年3月9日下午06:20驼背:
• 卡瓦尔。Linux操作系统. . . 2017年3月9日下午06:03驼背：正在修复缩进：“@@sudo cabal安装…”到“**@@sudo-cabal安装…”
• 主要。Agda会议. . . 2017年3月8日下午02:24由？：
• 文件。Unicode输入. . . 2017年3月2日下午07:36细腻的:
• 主要。功能请求. . . 2017年2月27日下午08:54加莱：更新错误跟踪器的链接
• 参考手册。核心语法. . . 2017年1月17日下午03时23分语音识别：删除了关于所有的不正确文档
• 图书馆。标准库. . . 2016年12月22日下午02:07语音识别：标准库0.13版本
• 主要。下载. . . 2016年12月22日下午01:19语音识别：Agda 2.5.2版本
• 主要。Agda实施者会议二十四. . . 2016年11月14日下午02:19由？：
• AIMXIV系列。解析器错误. . . 2016年10月10日下午01:36维克托·洛佩斯·胡安：一些人收集了情报
• 主要。AIMXXIV系列. . . 2016年9月14日下午12:07由？：
• 主要。Agda与Coq-Talk. . . 2016年9月14日上午11:37加莱：修复链接
• 主要。从源头安装Agda，用于非程序员. . . 2016年7月27日下午5:17安德里亚斯:
• AIMXXIII。Logo竞赛. . . 2016年7月18日，08:46 PM，签字人：
• 主要。X撰写. . . 2016年7月14日下午12:29阿克尔：外观编辑
• 主要。发行说明. . . 2016年6月21日下午03:08语音识别：发布说明可从Hackage获得
• 主要。出版物. . . 2016年6月14日下午03:58加莱：直接链接到PapersUsingAgda
• 图书馆。澳大利亚石油协会. . . 2016年5月18日上午09:05申成木:
• 主要。使用Agda的课程. . . 2016年5月14日下午04:19由？：
• 主要。Agda实施者会议二十三. . . 2016年5月2日，11:12 PM，签字人：
• AIMXXIII。Agda实施者会议第二十三次进度总结. . . 2016年4月26日下午5:11加莱:
• 主要。功能请求-对话. . . 2016年4月25日上午10:05罗宾：Ctrl-C Ctrl-C引入模式匹配lambda
• 主要。编辑、类型检查和编译Agda代码的快速指南. . . 2016年4月21日下午06:44？：
• 文件。Emacs模式键组合. . . 2016年4月21日下午06:43由：
• 开发人员手册。语法概述. . . 2016年4月20日下午12:07由？：
• 图书馆。标准库对话. . . 2016年3月2日上午10:17罗宾·亚当斯:
• 参考手册。不带表情. . . 2016年2月17日上午09:42由？：
• 主要。名录. . . 2016年1月17日下午06:40由：
• 主要。文件内容. . . 2016年1月17日下午06:36由？：
• 主要。文件访问. . . 2016年1月17日下午06:31由？：
• 主要。模式匹配. . . 2016年1月17日下午06:26？：
• 主要。哈希. . . 2016年1月17日下午06:20？：
• 主要。阵列. . . 2016年1月17日下午06:16由？：
• 主要。日期和时间. . . 2016年1月17日下午06:11由？：
• 主要。数字. . . 2016年1月17日下午06:06由？：
• 主要。Agda食谱. . . 2016年1月17日下午06:00由？：
• 主要。串. . . 2016年1月17日下午05:57？：
• 参考手册。图案匹配的Lambdas. . . 2016年1月8日下午5时15分，签字人：
• 参考手册。外部函数接口. . . 2016年1月2日，11:05 PM，签字人：
• 主要。Linux预构建包. . . 2015年12月17日下午04:17由？：
• 主要。教程. . . 2015年12月14日下午06:35法雷尔：添加OPLSS 2013链接
• AIMXII公司。AIM XII注释. . . 2015年12月6日上午10:48由：
• 主要。Agda实施者会议二十二. . . 2015年9月29日上午07:59沃尔夫拉姆·卡尔：更改了我的演讲标题以符合幻灯片
• 参考手册。宇宙多态性. . . 2015年9月15日10:07 PM谢玉恒:
• 主要。新外国金融机构. . . 2015年9月7日，09:13 PM，签字人：
• 主要。历史. . . 2015年8月23日下午01:21由？：
• 现场。提要栏. . . 2015年8月9日下午10:37语音识别：问题在GitHub中报告
• 图书馆。轻量级自由定理. . . 2015年8月7日下午07:05大卫·费尔：还原垃圾邮件
• 主要。在Agda中使用缩写模式. . . 2015年6月20日下午04:58Clément公司：此处无需使用lambda
• 主要。Agda实施者第二十一次会议. . . 2015年6月15日上午08:52乌尔夫：链接到我的演讲
• 主要。AIMXXI总结会议. . . 2015年6月9日下午01:27由：
• 主要。MacOSX公司. . . 2015年6月8日下午12:29安德里亚斯:
• 参考手册。模块. . . 2015年6月5日下午10:39丝廷：要使用的多个参数是分号，而不是连字符
• 主要。AIMXXI-通话. . . 2015年5月28日下午01:08汤姆：请求
• 主要。版本2-4-0. . . 2015年5月25日11:42 PM语音识别：对Agda 2.4.0使用黑客链接
• 主要。发布候选. . . 2015年5月19日下午03时28分语音识别：我无法加载.tar.gz文件
• 主要。Agda发行候选. . . 2015年5月19日下午03:01语音识别:
• 主要。AIMXX公司. . . 2015年5月1日上午11:38塔尔莫·乌斯塔卢:
• PmWiki。安全. . . 2015年3月8日上午08:52科弗尔：安全手册
• 主要。识字阿格达. . . 2015年2月3日下午03:03加莱：已知问题
• 主要。窗户. . . 2015年1月14日11:08 PM亚伦·斯塔姆：添加了2.4.2.2 Windows MSI的链接
• 主要。社区. . . 2015年1月12日下午07:13语音识别:
• 参考手册。汇编. . . 2014年12月23日下午09:35zachmoore99aTgmailpointcom：从代码中删除了随机红色链接
• 参考手册。唱片教程. . . 2014年12月17日下午07:11特维：在递归记录上添加小部分，因为信息很难找到。
• 参考手册。功能. . . 2014年12月6日凌晨02:23彼得·塞林格：所有->所有
• 参考手册。数据. . . 2014年12月6日凌晨01:19彼得·塞林格：已更改“universe”的超链接
• 参考手册。实例参数. . . 2014年12月5日下午5:07彼得·塞林格：添加了“forall”
• 参考手册。隐式参数. . . 2014年12月5日下午5:01彼得·塞林格：为隐式参数添加了“forall”synax
• 参考手册。使用实例参数建模类型类. . . 2014年12月4日下午07:25彼得·塞林格：尝试重定向
• 参考手册。无关. . . 2014年12月2日上午05:52彼得·塞林格：插入的目录链接
• 参考手册。合计. . . 2014年12月2日上午05:51彼得·塞林格：插入的目录链接
• 参考手册。反思. . . 2014年12月2日上午05:51彼得·塞林格：插入的TOC链接和语法
• 参考手册。布局. . . 2014年12月2日凌晨04:48彼得·塞林格：添加了关于例外情况的备注
• 参考手册。假设. . . 2014年12月2日凌晨04:17彼得·塞林格：台风
• 参考手册。声明. . . 2014年12月2日凌晨02:24由？：添加固定性声明
• 参考手册。固定性声明. . . 2014年12月2日凌晨02:23，签字人：标点符号
• 参考手册。实例参数的非递归解析. . . 2014年12月2日凌晨02:12，签字人：插入的TOC链接
• 参考手册。米克斯菲克斯. . . 2014年12月2日上午01:12，签字人：修复了“多个名称部分”的拼写错误。例如，_x、x_、_x_都只有一个名称部分。
• 参考手册。Haskell不好. . . 2014年11月29日，上午01:09，签字人：使缩进一致
• 主要。AIMXX总结. . . 2014年10月22日下午12:13由？：
• 主要。Windows备注2-4-2. . . 2014年10月22日上午08:44由：
• 主要。AIMXX规划. . . 2014年10月20日上午11:06由：
• 参考手册。模式匹配. . . 2014年10月10日下午03时26分由？：
• 主要。直觉拉姆齐定理. . . 2014年10月5日，08:03 PM谢尔盖·罗曼年科：拼写错误的更正。
• 文件。如何在Emacs中查看Unicode. . . 2014年9月25日下午04:32安德里亚斯:
• 参考手册。直接常量. . . 2014年7月21日，12:05 PM，签字人：删除了垃圾邮件链接
• 窗户。Windows安装程序说明. . . 2014年6月17日上午06:38由？：打字错误
• 开发人员手册。总有机碳. . . 2014年6月12日下午03时34分安德烈斯·西卡德·拉米雷斯：s/GHCI/GHCI和s/GHCI/GHCI
• 主要。自述文件-2-4-0. . . 2014年6月5日下午12:31由？：2.4.0自述
• 主要。AIMXIX公司. . . 2014年5月28日下午07:49安德烈亚斯·阿贝尔:
• PmWiki。安全变量. . . 2014年3月12日上午09:21由？：
• 参考手册。关键词. . . 2014年2月7日下午04:51安德烈斯·西卡德·拉米雷斯：已从关键字列表中删除代码数据
• 参考手册2.编译. . . 2014年1月27日上午01:56，签字人：
• 参考手册。原始无关性. . . 2013年12月1日12:25 AMwj公司：不再需要页面。
• 主要。Windows备注-2-3-2. . . 2013年11月25日晚上10:38由？：
• 主要。VIM编辑. . . 2013年11月16日，09:29 PM，作者：
• 主要。性能提示. . . 2013年11月6日下午02:43巴斯·德克斯：缺少字母
• 主要。使用Agda的课程. . . 2013年11月2日下午08:31安德烈亚斯·阿贝尔:
• 参考手册。简介什么. . . 2013年11月2日上午06:37自由区：输入错误
• 主要。自述文件-2-3-2-2. . . 2013年10月30日下午5:41北美：发布Agda 2.3.2.2。
• 主要。版本-2-3-2-2. . . 2013年10月30日下午05:39北美：发布Agda 2.3.2.2。
• 配置文件。沃伊切赫·杰迪纳克. . . 2013年10月7日，07:54 PM，签字人：
• 主要。马尔科·布亚蒂. . . 2013年9月27日下午08:20北美：回滚。
• 主要。PmWiki. . . 2013年9月27日下午08:19北美：回滚。
• 主要。Agda实施者会议十八. . . 2013年9月23日下午5:12丹麦：链接到Thierry的演讲
• 参考手册。终止检查器. . . 2013年9月11日下午01:56由？：次要语言修复
• 主要。自述文件-2-3-2-1. . . 2013年6月11日下午04:55安德烈斯·西卡德·拉米雷斯：固定README-2-3-2-1
• 主要。版本-2-3-2. . . 2013年6月11日下午12:59由？：更多“--”格式正确
• 主要。自述文件-2-3-2. . . 2013年6月11日上午12:11安德烈斯·西卡德·拉米雷斯：添加了README-2-3-2
• 主要。版本-2-3-2-1. . . 2013年6月10日下午06:59安德烈斯·西卡德·拉米雷斯：Agda 2.3.2.1的发行说明。
• 主要。AIMXVII记录. . . 2013年6月7日上午03时54分，提交人：
• 主要。AIMXVII系列. . . 2013年6月6日上午07:15由？：
• 参考手册2.固定. . . 2013年5月28日上午09:02由？：
• 文件。模块系统. . . 2013年5月4日凌晨01:00丹·克雷杰萨：f不在g定义的范围内。更改为B.f。
• 参考手册。本地定义. . . 2013年4月19日下午04:11安德烈斯·西卡德·拉米雷斯：固定打字错误
• 主要。AIMXVI公司. . . 2013年3月11日上午10:44佩特迪瓦恩斯基：https-->http
• 图书馆。标准集成型器规则. . . 2013年3月10日上午06:05安德烈斯·西卡德·拉米雷斯：删除了空白
• 主要。代码冲刺. . . 2013年1月29日上午08:59由？：
• 参考手册。记录. . . 2013年1月21日下午02:10加莱：固定记录声明的一般形式以匹配实际实现
• 参考手册。姓名. . . 2012年12月11日上午05:45安德烈斯·西卡德·拉米雷斯：名称部分中不允许使用固定字符
• 参考手册。Agda项目的结构. . . 2012年11月11日凌晨02:35由？：
• 参考手册。寻找隐式参数的值. . . 2012年11月7日下午12:10安德烈亚斯·阿贝尔:
• D-案例-Agda。“Agda中的D-Case”验证工具（D-Case/Agda）. . . 2012年11月6日下午02:30由：
• 主要。AIMXVI代码Sprint. . . 2012年10月12日下午11:17彼得·迪维安斯基：错误639尚未修复
• 文件。马隆佐. . . 2012年10月11日11:06 PM命名数据：修复IO链接
• 参考手册。故障排除. . . 2012年10月10日下午04:59丹尼尔·古斯塔夫森：添加了故障排除部分，用于显示常见问题的修复。
• 参考手册。相互的. . . 2012年10月9日上午10:39由？：
• 参考手册。道具. . . 2012年10月9日上午10:05？：
• 参考手册。键入规则. . . 2012年10月9日上午10:04由？：
• 参考手册。通话模块. . . 2012年6月21日凌晨02:57匿名:
• 参考手册。源文件. . . 2012年2月27日上午03时19分尼尔·斯特里克兰：各种附加意见
• 参考手册。标准库. . . 2012年2月25日晚上10:09x赫兹:
• 参考手册。Emacs接口. . . 2012年2月25日下午06:49x赫兹:
• 主要。AIMXV公司. . . 2012年2月25日上午10:00？：
• 参考手册。评论. . . 2012年2月24日下午02:49由？：
• 文件。旧文档. . . 2012年2月24日下午02:49由？：
• 参考手册。总有机碳. . . 2012年2月24日下午02:46由：
• 参考手册。归纳数据类型和模式匹配. . . 2012年2月24日下午02:45由？：
• 参考手册2.文字. . . 2012年2月24日下午02:31由？：
• 参考手册2.TOC. . . 2012年2月24日上午10:30x赫兹:
• 参考手册2.注释. . . 2012年2月24日上午08:42由？：
• 参考手册2.数据. . . 2012年2月22日下午09:34x赫兹:
• 参考手册2.核心语法. . . 2012年2月22日下午08:07x赫兹:
• 参考手册2.名称. . . 2012年2月22日下午07:56x赫兹:
• 参考手册2.源文件. . . 2012年2月22日下午06:24x赫兹:
• 参考手册2.独立类型. . . 2012年2月22日上午10:52x赫兹:
• 参考手册2.标识符. . . 2012年2月21日下午08:43x赫兹:
• 参考手册2.相互声明. . . 2012年2月21日下午06:52x赫兹:
• 参考手册2.词汇事项. . . 2012年2月21日下午06:35保罗：格式化
• 参考手册2.Mixfix. . . 2012年2月21日下午06:19保罗：提及前缀表示法
• 参考手册2.简介. . . 2012年2月21日下午06:16x赫兹:
• 参考手册。编译器. . . 2012年2月21日下午04:30x赫兹:
• 主要。入门. . . 2012年2月20日下午06:33由？：
• 参考手册。模式匹配Lambdas. . . 2012年2月20日下午06:04由？：
• 参考手册。使用实例参数建模类型类-对话. . . 2012年1月31日12:07 AM厄罗斯: !
• 主要。VIM编辑对话. . . 2012年1月18日下午01:28厄罗斯:
• 参考手册。简单感应类型. . . 2011年12月8日下午5:53沃伊切赫·杰迪纳克：添加链接
• 主要。自述文件-2-3-0. . . 2011年11月23日上午10:22乌尔夫:
• 主要。版本2-3-0. . . 2011年11月23日上午10:21乌尔夫:
• 文件。隐式参数. . . 2011年11月17日下午04:09北美：修复了格式错误。
• D-案例-Agda。D-Case/Agda公司. . . 2011年10月14日下午5:30
• 主要。菲律宾比索. . . 2011年10月14日下午04:24由？：
• D-案例-Agda。顶部页面. . . 2011年10月14日下午04:22由？：
• 主要。Wiki沙盒. . . 2011年10月14日下午04:18由？：
• AIMXIV公司。图片. . . 2011年9月19日下午02:03由？：
• AIMXIV公司。程序等. . . 2011年9月16日上午01:59由？：
• 目的xiv。代码Sprint. . . 2011年9月13日，08:05 PM，作者：
• AIMXIV公司。公告等. . . 2011年9月12日上午06:26由？：
• AIMXIV公司。周六出游. . . 2011年9月9日上午09:31由？：
• ForkedReferenceManual（分叉参考手册）。记录. . . 2011年7月24日下午03:40沃伊切赫·杰迪纳克:
• 主要。标准库. . . 2011年7月1日下午5:09北美：已将此页面与库合并。标准库。
• 窗户。Windows Installer其他。注意事项. . . 2011年6月15日上午05:32由？：
• 窗户。注意事项. . . 2011年6月15日上午05:20由？：
• PmWiki。观众. . . 2011年6月13日上午11:16北美:
• AIMXIII。程序等。. . . 2011年5月25日下午5:52安德烈斯·西卡德·拉米雷斯：为AIMXIII演讲添加幻灯片
• PmWiki。菲律宾比索. . . 2011年5月21日上午10:52由？：
• 主要。史诗. . . 2011年4月27日下午04:15北美：修复了一些格式错误。
• 参考手册。非规范隐式参数的非递归解析. . . 2011年4月21日下午03时14分多米尼克·德弗里斯：第一版
• 参考手册。用非标准隐式建模类型类. . . 2011年4月21日下午02:55多米尼克·德弗里斯：具有非规范隐式参数的建模类型类的更多详细信息
• 参考手册。非标准隐式变元. . . 2011年4月21日下午02:26多米尼克·德弗里斯：第一版
• AIMXIII。代码冲刺讨论. . . 2011年4月12日下午03时39分由？：
• AIMXIII。AIMXIV公司. . . 2011年4月12日下午02:07由？：
• 主要。Agda实施者会议十三. . . 2011年3月15日下午03时27分北美：添加了指向程序的链接。
• 主要。自述文件-2-2-10. . . 2011年2月20日下午07:23北美：发布Agda 2.2.10。
• 主要。版本-2-2-10. . . 2011年2月20日下午07:23北美：发布Agda 2.2.10。
• 参考手册。共性数据类型. . . 2011年1月1日下午01:44北美：链接到描述当前实现的某些限制的消息。
• 参考手册。录音-通话. . . 2010年11月2日凌晨01:58白少勇：签名
• 主要。版本-2-2-8. . . 2010年9月28日上午10:00安娜:
• 主要。自述文件-2-2-8. . . 2010年9月28日上午12:10北美：发布Agda 2.2.8。
• AIMXII公司。程序等。. . . 2010年9月24日上午06:14北美：微小变化。
• MixFixBinders。混合固定粘合剂. . . 2010年9月12日下午12:49？：
• AIMXII公司。过程代数. . . 2010年9月7日下午04:19由？：
• AIMXII公司。Agda的未来. . . 2010年9月7日下午02:33由？：
• 主要。Agda实施者会议十二. . . 2010年9月1日下午03时23分由？：
• 图书馆。一些组合器. . . 2010年4月13日下午02:53由？：
• 主要。Agda中的非正式争论. . . 2010年3月31日下午3时59分，签字人：
• 主要。AIMXIUPDATES公司. . . 2010年3月30日上午09:12由？：
• 主要。Agda与Coq的比较. . . 2010年3月29日12:08 AM毛茸茸的家伙：posessive its没有撇号
• 主要。自由BSD. . . 2010年1月8日下午7时24分北美：列出的FreeBSD包。
• 主要。Linux/*BSD的预构建软件包. . . 2010年1月8日，07:22 PM北美：列出的FreeBSD包。
• 主要。宇宙多态性. . . 2009年12月27日下午5:10北美：已回复评论。
• 主要。版本-2-2-6. . . 2009年12月23日下午05:38北美：Agda 2.2.6的发行说明。
• 主要。自述文件-2-2-6. . . 2009年12月23日下午05:08北美：Agda 2.2.6自述文件。
• 参考手册。词汇问题. . . 2009年12月3日下午03时16分北美：添加了一些保留字。
• 主要。第十届Agda实施者会议. . . 2009年11月28日晚上10:13Wolfram Kahl公司：拼写错误已修复：分隔->分隔
• 参考手册。功能-通话. . . 2009年11月28日凌晨02:22沃尔夫拉姆·卡尔：关于类型语法的基本问题。
• 主要。自述文件-2-2-4. . . 2009年10月27日下午02:14北美：2.2.4自述文件。
• 参考手册。隐式Arg. . . 2009年10月7日上午11:00北美：指出文档与实现不匹配。
• 主要。其他教程. . . 2009年9月17日下午02:39由？：
• 文件。外国金融机构. . . 2009年9月9日下午03时43分格利森：向putStrLn示例添加了pragmas以使其工作
• 主要。AIMX公司. . . 2009年8月31日上午11:50乌尔夫·诺雷尔:
• 主要。Agda 2版本2.2.4的发行说明. . . 2009年7月7日下午10:38北美：发布Agda 2.2.4。
• 主要。编辑类型检查和编译Agda Code-Talk快速指南. . . 2009年6月18日下午12:37北美：修复了断开的链接。
• 主要。贡献. . . 2009年6月12日下午04:53北美：合并了“库”和“贡献”页面。
• 主要。本杰明·皮尔斯在图书类型和编程语言中实现一些函数和定理. . . 2009年6月12日下午04:46大卫·诺伯格:
• 主要。从源代码为非程序员安装Agda（旧版本0）. . . 2009年6月9日，07:54 PM，签字人：
• 主要。为非编程器从源安装Agda. . . 2009年6月9日，07:53 PM，签字人：
• 图书馆。标准库中的模块. . . 2009年4月23日下午5:24北美：将大部分库文档从wiki中移开。
• 图书馆。使用Ring Solver-Talk. . . 2009年4月22日下午07:08北美：回答了一个问题。
• 主要。法新社暑期学校2008. . . 2009年4月21日下午01:04由？：
• 图书馆。使用环形解算器. . . 2009年4月20日下午5:04罗伯特·西蒙斯:
• 主要。Agda 2版本2.2.2的发行说明. . . 2009年4月16日11:29 PM北美：发布Agda 2.2.2。
• 主要。Agda 2版本2.2.0的发行说明. . . 2009年4月16日下午10:46北美:
• 参考手册。参数化电感类型. . . 2009年3月18日下午02:54西格德·梅尔德加德：将单词奇异化
• 主要。从源代码安装Agda后更新它. . . 2009年3月16日上午05:04由？：
• 主要。非程序员从源安装Agda-快速检查. . . 2009年2月15日上午11:40由？：打字机翻译的打字和pb--
• 参考手册。Emacs公司. . . 2009年1月25日上午12:55由？：修复链接
• 主要。图书馆. . . 2008年12月17日下午02:36北美：添加了解析器组合器库。
• 主要。如何从源代码生成网页. . . 2008年12月10日下午5:49北美：记录的agda--html。
• 主要。如何在La Te X文档中插入Agda代码. . . 2008年12月8日，07:21 PM北美：写关于识字的阿格达。
• 主要。归纳家庭. . . 2008年12月8日下午06:20彼得·贝里：合并列表中的行
• 主要。Linux预构建包（Debian/Ubuntu）. . . 2008年12月3日下午5:30北美：更改了标题。
• 主要。Linux操作系统. . . 2008年12月3日下午5:28北美：添加了一个页面，其中包含如何安装预构建的Linux软件包的说明。
• 主要。AIM 9代码Sprint. . . 2008年12月3日下午02:09由？：
• 主要。歌曲. . . 2008年12月2日下午12:52由？：
• 主要。非程序员从源安装Agda-Darcs. . . 2008年12月2日上午10:38由：
• 图书馆。马丁·洛夫类型理论. . . 2008年12月2日上午09:24由？：
• 主要。组合键的符号. . . 2008年12月2日上午09:24北美：改进了文本，添加了空格键。
• 图书馆。Mltt公司. . . 2008年12月2日上午08:25由？：
• 主要。从源代码为非程序员安装Agda. . . 2008年12月2日上午7时45分，签字人：
• 主要。从非程序员源安装Agda-Zlib. . . 2008年12月2日上午07:21由？：
• 图书馆。MLTT公司. . . 2008年12月2日上午7时19分，签字人：
• 主要。从源头为非程序员安装Agda-Alex. . . 2008年12月2日上午7时17分，签字人：
• 主要。从源代码为非程序员安装Agda-二进制. . . 2008年12月2日上午7时17分，签字人：
• 主要。从源代码为非程序员安装Agda-Happy. . . 2008年12月2日上午7时12分，签字人：
• 主要。从源Alex安装Agda. . . 2008年12月2日上午07:07由？：
• 主要。从源Ghc安装Agda. . . 2008年12月2日，上午06:57，签字人：
• 主要。系统快速指南. . . 2008年12月2日上午03时25分，签字人：
• 参考手册。识字阿格达. . . 2008年12月1日上午06:17由？：
• 文件。姓名. . . 2008年12月1日上午05:46由？：
• 主要。其他汽车. . . 2008年12月1日上午5时11分，签字人：
• 主要。键入密钥的符号. . . 2008年12月1日上午03时21分，签字人：
• 主要。Agda密集会议. . . 2008年11月28日上午08:01由？：
• 主要。主要. . . 2008年11月28日上午07:21由？：
• 主要。AIM 9上的幻灯片. . . 2008年11月27日上午10:18由：
• 系统。阿格达. . . 2008年11月18日下午12:55由？：
• 图书馆。顺序. . . 2008年11月18日下午12:52由？：
• 主要。早稻田. . . 2008年11月11日下午03时09分由？：
• 补丁。提交. . . 2008年9月4日上午08:11由？：
• 参考手册。代码类型. . . 2008年8月27日下午04:09由？：打字错误
• 主要。讨论. . . 2008年7月9日下午04:18北美：重新组织页面。
• 文件。M阿隆佐. . . 2008年6月16日下午04:13北美：main具有IO（）类型的要求已被削弱。
• 参考手册。Emacs对话. . . 2008年6月4日下午04:56米格尔:
• 现场。页面操作. . . 2008年6月4日下午04:50乌尔夫·诺雷尔:
• 主要。主页对话. . . 2008年6月4日下午04:50乌尔夫·诺雷尔:
• 主要。文档-对话. . . 2008年6月4日下午04:15乌尔夫·诺雷尔:
• 参考手册。Emacs模式键组合. . . 2008年6月4日下午03时20分北美：撤消不再有任何特殊支持。
• 参考手册。本地定义. . . 2008年6月4日下午01:39安娜·波夫:
• 主要。第八届Agda实施者会议. . . 2008年6月4日下午01:29本特:
• 参考手册。如何在Emacs中查看Unicode. . . 2008年6月4日上午10:34本特:
• 参考手册。如何在Emacs中查看Unicode. . . 2008年6月4日上午10:25本特:
• 参考手册。参考文献. . . 2008年6月4日上午10:18皮埃尔:
• 参考手册。数据类型. . . 2008年6月3日下午3时55分，签字人：
• 参考手册。概述. . . 2008年6月3日上午10:09皮埃尔:
• 主要。记录工作页. . . 2008年6月3日上午09:55由？：
• 文件。总有机碳. . . 2008年6月2日下午04:35皮埃尔:
• 参考手册。记录. . . 2008年6月2日下午04:01由？：
• 参考文件。记录. . . 2008年6月2日下午3时57分，签字人：
• 参考手册。参考手册. . . 2008年6月2日下午03时43分，签字人：
• 主要。邮件列表. . . 2008年5月20日下午07:39北美：注意到Gmane携带Agda列表。
• 文件。识字阿格达. . . 2008年5月16日上午11:00北美:
• 文件。记录. . . 2008年5月12日下午04:49安娜·波夫:
• 文件。如何查看Unicode. . . 2008年5月7日下午07:00塞缪尔·布朗森：抱怨上传带宽低
• 主要。目标9. . . 2008年5月7日上午10:16帕特里克·詹森:
• 类别。分组页脚. . . 2008年5月6日上午12:19塞缪尔·布朗森：[[PmWiki/Categories]]中的以下说明
• 补丁。如何. . . 2008年5月6日上午12:18塞缪尔·布朗森：嗯，这不是正确的类别语法。。。
• 类别。Howto公司. . . 2008年5月6日上午12:15塞缪尔·布朗森:
• 模式。Partial函数. . . 2008年4月16日下午02:58由？：
• 主要。如何查看Unicode. . . 2008年4月16日下午02:00由？：
• 主要。如何。。。. . . 2008年4月16日下午02:00由？：
• 主要。如何查看Unicode. . . 2008年4月16日下午01:58由？：
• 主要。如何安装Unicode. . . 2008年4月16日下午01:29？：
• 主要。如何向Agda发送修补程序. . . 2008年4月16日下午01:26由？：
• 文件。模式. . . 2008年3月24日下午06:29特里斯坦·威伯利:
• 文件。阿隆佐. . . 2008年3月20日下午12:30乌尔夫·诺雷尔:
• 主要。Makoto测试. . . 2008年3月7日下午01:46由：
• 主要。Agda论文. . . 2008年2月6日上午09:50帕特里克·詹森:
• 文件。模式匹配. . . 2007年11月26日下午02:22由？：
• 主要。版本策略. . . 2007年11月12日下午12:13乌尔夫·诺雷尔：奇偶补丁级别之间的区别
• 漏洞。报告错误. . . 2007年10月24日下午01:19乌尔夫·诺雷尔:
• 漏洞。老虫子. . . 2007年10月24日下午01:17乌尔夫·诺雷尔:
• 文件。数据类型和函数定义. . . 2007年10月19日12:01 PM安德烈亚斯·阿贝尔:
• 错误.20070616-1. . . 2007年10月18日下午03时21分乌尔夫·诺雷尔：已修复
• 错误.20070822-1. . . 2007年10月18日下午03时18分乌尔夫·诺雷尔：已修复
• 现场。身份验证表单. . . 2007年10月17日下午04:04乌尔夫·诺雷尔：添加了密码
• 主要。2007年暑期学校类型. . . 2007年10月17日下午03:46乌尔夫·诺雷尔：已删除垃圾邮件
• 错误.20070702-1. . . 2007年10月16日下午05:37乌尔夫·诺雷尔：已修复
• 错误.20070821-1. . . 2007年10月16日下午04:54乌尔夫·诺雷尔：已修复
• 错误.20071012-1. . . 2007年10月16日下午04:52乌尔夫·诺雷尔：已修复
• 错误.20071012-2. . . 2007年10月16日下午04:01乌尔夫·诺雷尔：已修复
• 错误20070628-1. . . 2007年10月16日下午02:34乌尔夫·诺雷尔：已删除垃圾邮件
• 主要。目标6结束讨论. . . 2007年10月16日下午02:34乌尔夫·诺雷尔：已删除垃圾邮件
• 主要。第六届Agda实施者会议. . . 2007年10月16日下午02:33乌尔夫·诺雷尔：已删除垃圾邮件
• 错误.20070606-3. . . 2007年10月16日下午02:33乌尔夫·诺雷尔：已删除垃圾邮件
• 错误.20070613-1. . . 2007年10月16日下午02:32乌尔夫·诺雷尔：已删除垃圾邮件
• 现场。所有最近的更改. . . 2007年10月16日下午02:31乌尔夫·诺雷尔:
• 错误.20070613-2. . . 2007年10月16日下午02:30乌尔夫·诺雷尔：已删除垃圾邮件
• 文件。魔法与. . . 2007年10月16日上午11:43乌尔夫·诺雷尔：已删除垃圾邮件
• 错误.20070619-1. . . 2007年10月16日上午11:38乌尔夫·诺雷尔：已删除垃圾邮件
• 错误.20070618-1. . . 2007年10月16日上午11:37乌尔夫·诺雷尔：已删除垃圾邮件
• 主要。模块系统更灵活. . . 2007年10月5日下午5:08北美：描述的功能请求。
• 主要。隐式语法. . . 2007年10月3日下午04:52乌尔夫·诺雷尔：修复了乱码希腊字母
• 错误.20070614-1. . . 2007年10月2日下午01:50乌尔夫·诺雷尔：已修复
• 错误.20070627-2. . . 2007年10月1日下午06:22乌尔夫·诺雷尔：已修复
• 主要。阿格达语言评论. . . 2007年9月25日下午02:55乌尔夫·诺雷尔:
• 漏洞。报告. . . 2007年9月20日下午02:46由？：
• 主要。K规则. . . 2007年9月20日上午11:48乌尔夫·诺雷尔：添加了指向完整堆栈示例的链接
• 主要。Agda语言评论. . . 2007年9月20日上午12:56北美：描述了有关抽象的基本问题。
• 主要。可见性和评估. . . 2007年9月20日12:56 AM北美：描述了关于抽象的基本问题。
• 主要。隐式语法. . . 2007年9月19日下午06:36北美：Sym可能比Refl更具说明性。
• 主要。讨论. . . 2007年9月11日下午12:14北美：将沃特的愿望移至讨论页。
• 错误.20070903-2. . . 2007年9月3日下午03:56由？：
• 错误.20070903-1. . . 2007年9月3日下午03时02分由？：
• 错误.20070822-1. . . 2007年8月22日下午04:21由？：
• 错误.20070821-1. . . 2007年8月21日下午05:59由？：
• 主要。在多个块中应允许更多声明. . . 2007年8月20日下午01:24北美：描述的功能请求。
• 错误.20070626-1. . . 2007年8月18日下午01:23乌尔夫·诺雷尔:
• 错误.20070628-1. . . 2007年8月18日下午01:20乌尔夫·诺雷尔:
• 错误.20070808-1. . . 2007年8月18日下午01:17乌尔夫·诺雷尔:
• 文件。数据类型和函数定义. . . 2007年8月18日下午01:02乌尔夫·诺雷尔:
• 文件。魔法与. . . 2007年8月18日下午01:01乌尔夫·诺雷尔:
• 文件。记录. . . 2007年8月18日下午12:58乌尔夫·诺雷尔:
• 文件。模块系统. . . 2007年8月18日下午12:54乌尔夫·诺雷尔:
• 文件。函数语法. . . 2007年8月18日上午11:50乌尔夫·诺雷尔:
• 文件。隐式参数. . . 2007年8月18日上午11:46乌尔夫·诺雷尔:
• 文件。姓名. . . 2007年8月18日上午11:37乌尔夫·诺雷尔:
• 主要。版本-2-1-2. . . 2007年8月16日下午04:56北美：发行说明。
• 错误.20070815-1. . . 2007年8月15日下午03时14分乌尔夫·诺雷尔：已修复
• 错误.20070723-1. . . 2007年7月30日下午01:24乌尔夫·诺雷尔：已修复
• 主要。版本-2-1-0. . . 2007年7月14日上午01:21乌尔夫·诺雷尔:
• 错误.20070711-1. . . 2007年7月12日上午12:27北美：解释了问题。
• 错误.20070702-1. . . 2007年7月2日下午03:00北美：描述的错误。
• 错误.20070701-1. . . 2007年7月1日下午12:40北美：描述的错误。
• 错误.20070627-2. . . 2007年6月27日下午04:56北美：添加了更多信息。
• 错误.20070627-1. . . 2007年6月27日上午11:53北美：添加了更多信息。
• 错误.20070725-1. . . 2007年6月25日下午09:59乌尔夫·诺雷尔:
• 错误.20070619-1. . . 2007年6月21日上午10:50乌尔夫·诺雷尔:
• 错误.20070619-2. . . 2007年6月21日上午10:07乌尔夫·诺雷尔:
• 错误20070618-1. . . 2007年6月18日下午5:28北美：描述的错误。
• 错误.20070616-1. . . 2007年6月16日下午01:20北美：描述的错误。
• 错误.20070614-2. . . 2007年6月14日下午06:35乌尔夫·诺雷尔：已修复
• 错误.20070606-3. . . 2007年6月14日下午06:02乌尔夫·诺雷尔：已修复
• 错误.20070614-1. . . 2007年6月14日下午04:37乌尔夫·诺雷尔:
• 错误.20070614-3. . . 2007年6月14日下午03时35分北美：描述的错误。
• 错误.20070613-2. . . 2007年6月13日下午06:13北美：描述的错误。
• 错误.20070613-1. . . 2007年6月13日下午5:02北美：描述的错误。
• 错误.20070606-2. . . 2007年6月11日上午10:46北美：描述的错误修复。
• 错误.20070607-0. . . 2007年6月7日下午04:18亚历山大:
• 文件。模式匹配. . . 2007年6月7日下午03时33分由？：
• 错误.20070606-4. . . 2007年6月7日下午01:28安德烈亚斯·阿贝尔:
• 错误.20070606-1. . . 2007年6月6日下午07:53乌尔夫·诺雷尔:
• 主要。打印重建条款. . . 2007年6月6日下午06:54乌尔夫·诺雷尔:
• 错误.20070604-1. . . 2007年6月6日下午02:23安德烈亚斯·阿贝尔:
• 错误.20070601-3. . . 2007年6月6日下午12:12乌尔夫·诺雷尔:
• 主要。注入性. . . 2007年6月4日下午5:13乌尔夫·诺雷尔:
• 主要。版本2-0-0. . . 2007年6月4日下午04:31乌尔夫·诺雷尔:
• 主要。版本策略. . . 2007年6月4日下午04:30乌尔夫·诺雷尔:
• 错误.20070530-4. . . 2007年6月4日下午03:48乌尔夫·诺雷尔:
• 错误.20070530-5. . . 2007年6月4日下午02:56北美:
• 错误.20070603-1. . . 2007年6月4日上午11:44乌尔夫·诺雷尔:
• 错误.20070530-2. . . 2007年6月4日上午11:43乌尔夫·诺雷尔:
• 错误20070601-2. . . 2007年6月2日下午5:53北美：描述的错误修复。
• 错误.20070601-1. . . 2007年6月1日凌晨02:59北美：错误描述。
• 错误.20070530-7. . . 2007年5月30日下午06:47乌尔夫:
• 主要。AIM6结束讨论. . . 2007年5月30日下午06:28帕特里克·詹森:
• 主要。AIM6公司. . . 2007年5月30日下午06:17帕特里克·詹森:
• 错误.20070530-1. . . 2007年5月30日下午03:17乌尔夫:
• 补丁。如何操作. . . 2007年5月30日下午02:38亚历山大：关于如何使用darcs发送补丁的小指南
• 错误.20070530-3. . . 2007年5月30日下午12:34乌尔夫:
• 错误.20070530-0. . . 2007年5月30日上午11:10删除:
• 错误.20070529-0. . . 2007年5月29日下午04:06亚历山大：关于分段错误的最后评论
• 错误.20070528-0. . . 2007年5月28日下午06:34亚历山大：BR 20070528-0
• 错误.20070527-0. . . 2007年5月27日下午12:16由？：
• 主要。主页. . . 2007年5月26日，11:20 PM，作者：
• 主要。PmWiki. . . 2007年5月26日下午11:17由？：