阿格达维基
变化
·
(集团)
·
查看
编辑
历史
打印
配置文件。
WojciechJedynak历史
隐藏次要编辑
-
显示对输出的更改
2013年10月7日下午5:54
通过
83.26.138.65
-
将第1行更改为:
我是
本科生
Wroc大学学生ł;
aw,波兰。
收件人:
我是
博士
Wroc大学学生ł;
aw,波兰。
恢复
2011年7月23日,07:19 pm
通过
沃伊切赫·杰迪纳克
-
将第9-11行更改为:
[[ForkedReferenceManual.Records]]
收件人:
[[叉形参考手册.记录
]]
[[
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=pmwiki.DocumentationIndex
]]
恢复
2011年7月23日,07:18 pm
通过
沃伊切赫·杰迪纳克
-
将第3-9行更改为:
给我发邮件到wjedynak(at)gmail(dot)com
收件人:
给我发邮件到wjedynak(at)gmail(dot)com
----
我的快捷方式:
[[ForkedReferenceManual.Records]]
恢复
2011年7月23日下午04:35
通过
沃伊切赫·杰迪纳克
-
将第1-2行更改为:
我是Wroc大学的本科生;
啊
收件人:
我是Wroc大学的本科生;
哦
,波兰
.
恢复
2011年7月23日下午04:35
通过
沃伊切赫·杰迪纳克
-创建了页面并添加了联系信息。
添加了第1-3行:
我是弗罗茨堡大学的一名本科生;
啊
给我发邮件到wjedynak(at)gmail(dot)com
恢复
阿格达
主要
下载
发行说明
入门
用户手册
教程
图书馆
如何
出版物
社区
Agda会议
报告Bug
最近的更改
PmWiki帮助
编辑提要栏
编辑
|
历史
|
最近的更改
(全部)
|
搜索
页面上次修改时间:2013年10月7日下午5:54
技术支持
私人维基