阿格达维基
更改
·
(集团)
·
查看
编辑
历史
打印
主要。
版本-2-1-0历史
隐藏次要编辑
-
显示对输出的更改
2007年7月13日下午11:21
通过
乌尔夫·诺雷尔
-
添加了第1行:
(:title版本2.1.0:)
恢复
2007年7月13日,晚上10:47
通过
乌尔夫·诺雷尔
-2.1.0发行说明
添加了第1行:
此版本引入了[[Docs/Magic With]]。
恢复
阿格达
主要
下载
发行说明
入门
用户手册
教程
图书馆
如何
出版物
社区
Agda会议
报告Bug
最近的更改
PmWiki帮助
编辑提要栏
编辑
|
历史
|
最近的更改
(全部)
|
搜索
页面上次修改时间:2007年7月13日11:21 pm
技术支持
私人维基