Agda Wiki
变化
·
(集团)
·
查看
编辑
历史
打印
现场。
所有最近的更改历史记录
隐藏次要编辑
-
显示对输出的更改
2007年10月16日下午12:31
通过
乌尔夫·诺雷尔
-
将第20-21行更改为:
*[[Bugs.20071012-2|Bugs.200071012-2]]。
2007年10月12日下午03:05
?:
[
==
]
*
[
[错误.20071012-1|
错误.20071012-1
]]
.
.
。
十月
2007年12月3日下午03时03分
?
: [==]
收件人:
*[[Bugs.20071012-2|Bugs.200071012-2]]。
2007年10月12日下午03:05[
[~安娜
]
]:
[
==]
* [[
错误.20071012-1
|臭虫
。
20071012-1]]
.
..十月
2007年12月3日下午03时03分
[[~Ana]]
:[===]
恢复
阿格达
主要
下载
发行说明
入门
用户手册
教程
图书馆
如何
出版物
社区
Agda会议
报告Bug
最近的更改
PmWiki帮助
编辑边栏
编辑
|
历史
|
最近的更改
(全部)
|
搜索
页面上次修改时间:2024年4月18日下午02:26
技术支持
私人维基