帮助
File:Agda proof.jpg：修订历史
查看该页面的日志
（
查看滥用日志
）
跳转到导航
跳转到搜索
筛选修订版本
展开
折叠
截止日期：
标签
过滤器：
2017年版源代码编辑
Abusefilter: Smiley
AC/DC
addshore-v1-nonowner-test [1.0]
Adiutor
African German Phrasebook server v2 [1.0]
Android应用编辑
Anonymous or new user removed source information
app5 [1.0]
AutoWikiBrowser
beta-vct [1.0]
Blocked user editing own talk page
Bot adding SDC
BUB2 - wmcloud [1.0]
BUB2-new [2.0]
bub2-uploader [1.0]
Cat-a-lot
CD
commons localhost testing [1.0]
Commons Mass Description (test local) [1.0]
Commons mass description filler [1.2]
commonshelper [1.0]
CropCrop [1.0]
CropTool [1.0]
CropTool [1.1]
CropTool [1.2]
CropTool [1.4]
CropTool [1.5]
CropTool testing [1.0]
cross-wiki-upload
cross-wiki-upload-1
cross-wiki-upload-2
cross-wiki-upload-3
cross-wiki-upload-4
Debug Flickipedia [1.0]
DepictAssist
Depictor [0.1]
DiBabel [1.2]
discussiontools-added-comment（隐藏的标签）
discussiontools-source-enhanced（隐藏的标签）
discussiontools-source（隐藏的标签）
discussiontools-visual（隐藏的标签）
discussiontools（隐藏的标签）
Dispenser [1.0]
Dispenser [2.4]
drawshield [1.0]
dtz [1.1]
dtz [1.2]
editcheck-newreference（隐藏的标签）
EditGroups for Commons [1.0]
Editing policy page
editing POTD or MOTD description
EnhancedStash
FileImporter
FIST [1.1]
Flcikypedia 2023-10-10 [1.0]
Flickommons [1.0]
Flickr
Flickr Dashboard [1.0]
flickr2commons
flickr2commons [1.0]
Flickypedia (demo for Montevideo) [1.0]
Flickypedia [1.0]
GDrive to Commons Uploader [1.6]
geograph2commons [1.0]
glam2commons [1.0]
Google drive to Wikimedia Commons [1.4]
Google drive to Wikimedia Commons [1.5]
Google Photos Commons Upload [2.0]
HotCat
IA Upload [2.0]
ia-upload [0.2]
ia-upload [1.1]
ia-upload [2.0]
IABotManagementConsole [1.2]
Image Annotator [1.0]
Image notes by new users
import-500px [0.1]
iOS应用编辑
Isa [2.2]
ISA Local Dev 2 (TEST) [1.0]
Isa-dev [1.0]
Isa-tool (dev-personal) [1.0]
Isa-tool [1.0]
Large upload by a new user
LCA Tools [0.1]
LCA Tools [1.0]
LCA Tools [1.5]
License review by non-image-reviewers
Lingua Libre [2.0]
Lingua Libre [2.2]
Lingua Libre [2.30]
Lingua Libre Development - localhost 2 [1.0]
locator-tool [2.1]
locator-tool [3.0]
Logo with questionable license
Manual deletion request
Media Data Verification Tool (Dev 2) [1.0]
Media Data Verification Tool [1.0]
merge2pdf [0.3]
meta spam id
monumental-upload-https [1.5]
monumental-wlm [1.5]
mpaatools [1.3]
Musikverket Description Translations [1.0]
MwJSBot.js (Software by Rillke)
NCC2Commons1 [1.0]
New user rapidly uploading files
NOA Upload Tool [1.0]
nonsense characters
Nordic Museum Depicts [1.0]
Noun Project Uploader (localhost) [1.0]
Noun Project Uploader (localhost) [3.0]
OAuth Uploader [1.0]
openrefine
openrefine-3.6
openrefine-3.7
openrefine-3.8
OTRS permission added by non-OTRS member
OUploadForm（隐藏的标签）
Overwriting artwork
parliamentdiagram [1.1]
PatrAll [1.0]
PAWS [1.2]
PAWS [2.1]
paws [2.2]
PermissionVRTS
Possible vandalism
possibly out of scope
POTY admin [1.0]
QR Code Generator [1.0]
QR Code Generator [2.0]
QR Code Generator [3.0]
QuickCategories [1.0]
QuickCategories [1.1]
QuickStatements [1.5]
quickstatements [2.0]
Removal of duplicates
Removal of ticket permission
Removing information template
RenameLink
RotateLink
samwilson-ia-upload [1.0]
Savica 2, now with file uploads [1.0]
Savica 2023-10-09a [1.0]
Short file caption
sibutest [1.2]
sibutest [2.4]
sibutest [3.0]
Small image note
soda-test-croptool-toolforge-test [0.0]
Staging.ajapaik.ee [1.0]
Sunflower
SVG Translate [1.2]
SVG Translate [1.3]
SVG Translate [1.4]
SVGTranslate [1.0]
SWViewer [1.0]
SWViewer [1.2]
SWViewer [1.3]
SWViewer [1.4]
SWViewer [1.6]
Takedown Tools [1.0]
test-v2-agpb [1.0]
TestApp [1.0]
TestOauthWikiMI [7.0]
TestOauthWikiMI [8.0]
Thenoun Uploader [1.0]
Ticket permission added by non-VRT member
Tracker (localhost) [1.3]
Tracker (localhost) [1.4]
Tracker (test) [1.3]
Tracker [1.1]
Tracker [1.3]
Tracker [1.4]
translate-translation-pages（隐藏的标签）
translation with only definition
Twinkle
Twitter to Commons [1.0]
Twitter to Commons [1.1]
url2commons [1.0]
Video Editing Server - Cloud9 [1.0]
Video Editing Server - Production [1.0]
video-cut-tool-back-end [3.1]
video-cut-tool-back-end [3.2]
video2commons [0.2]
video2commons [1.0]
video_cutting [1.0]
Videoconvert [0.2]
Videoconvert [0.3]
VideocutTool [1.0]
VideoCutTool [2.6]
videocuttool [5.0]
videocuttool [7]
VideoCutTool development [0.1]
videocuttool-test-2 [1.0]
VideoCutTools - Beta [1.0]
VideoCutTools - oauth2 [1.0]
VideoCutTools [1.0]
Videowiki [1.0]
Videowiki [1.1]
Videowiki [1.2]
Videowiki [1.6]
Videowiki [2.2]
VideowikiLocal [1.1]
VideowikiLocal [1.2]
VideowikiLocal [1.3]
VisualFileChange
Widar [1.4]
Wiki Commons uploader [1.0]
Wiki Loves Brasil [1.0]
Wiki Loves Monuments Italia photo upload app [2.0.1]
Wiki Loves Monuments tool for improving data [1.0]
Wiki Museu do Ipiranga - Onde o objeto é usado? [1.0]
Wiki Museu do Ipiranga - Para que serve? [3.0]
wikicrowd [1.0]
wikicrowd-localhost [1.0]
Wikidata for Firefox
Wikidata Image Positions [1.1]
Wikidata Image Positions [1.2]
Wikidocumentaries demo [1.0]
wikidocumentaries_upload_test5 [2.0]
wikieditor（隐藏的标签）
Wikifile Transfer [2.0]
Wikifile Transfer [4.0]
wikilove
wikilovesmonuments-italy-app [3.0]
Wikimedia Commons Project Wikimaps Warper [2.0]
Wikimedia Commons Project Wikimaps Warper [2.1]
Wikimedia Commons Project Wikimaps Warper [2.2]
wikishootme [1.1]
wikishootme [1.9]
Wikisource Image Uploader [1.0]
WLM-IT wikigite [1.0]
work2 [1.0]
“建议编辑”的编辑
上传向导
内容模型更改
可视化编辑
可视化编辑：已切换
回复
回退
已更改重定向目标
已由FileImporter修改
已被回退
已达到条件限制
手工回退
撤销
新话题
新重定向
替换
服务器端上传
消歧义链接
清空
用文件导入器导入
移动应用程序编辑
移动版编辑
移动版网页编辑
移除重定向
绘文字
群发消息递送
高级移动版编辑
反选
显示版本
差异选择：选中要对比的版本的单选按钮，按Enter键或下方的按钮。
说明：
（当前）
=与最后版本之间的差异，
（之前）
=与上一版本之间的差异，
小
=小编辑。
2023年7月24日 (星期一)
当前
之前
05:46
2023年7月24日 (一) 05:46
SchlurcherBot
留言
贡献
8,133字节
+2,019
已更改实体：
automatically adding
structured data
based on file information: meta
撤销
标签
：
Bot adding
SDC
2023年5月21日 (星期日)
当前
之前
17:32
2023年5月21日 (日) 17:32
SchlurcherBot
留言
贡献
6,114字节
+2,019
已更改实体：
automatically modify
structured data
based on file information: meta source
撤销
标签
：
Bot adding
SDC
2023年4月26日 (星期三)
当前
之前
09:49
2023年4月26日 (三) 09:49
Yann
留言
贡献
4,095字节
−35
Doing 1 replacements.
撤销
标签
：
VisualFileChange
2020年9月11日 (星期五)
当前
之前
02:02
2020年9月11日 (五) 02:02
BotMultichill
留言
贡献
4,130字节
+2,965
已更改实体：
Adding structured data: camera & copyright
撤销
2020年3月28日 (星期六)
当前
之前
20:48
2020年3月28日 (六) 20:48
SchlurcherBot
留言
贡献
1,165字节
+642
创建声称：
成立或建立時間
(P571)
: 26 April 2007, automatically adding claim based on file information
撤销
2014年12月9日 (星期二)
当前
之前
23:06
2014年12月9日 (二) 23:06
Alan Liefting
留言
贡献
小
523字节
−23
→{{int:license-header}}
:
cat sort using
AWB
- removing
Category:Computers
撤销
2014年3月11日 (星期二)
当前
之前
07:20
2014年3月11日 (二) 07:20
Hazard-Bot
留言
贡献
小
546字节
+7
Bot
: Applied fixes for
internationalization support
撤销
2012年12月22日 (星期六)
当前
之前
17:09
2012年12月22日 (六) 17:09
Nattfodd
留言
贡献
539字节
−25
无编辑摘要
撤销
2009年11月15日 (星期日)
当前
之前
04:10
2009年11月15日 (日) 04:10
SieBot
留言
贡献
小
564字节
+2
Robot: Moving category
Liquid Crystal Displays
to
Liquid crystal displays
撤销
2009年7月31日 (星期五)
当前
之前
15:23
2009年7月31日 (五) 15:23
Emijrpbot
留言
贡献
小
562字节
+15
BOT - Changes to allow localization: Licensing → {{int:license}}; Summary → {{int:filedesc}};
撤销
2009年7月19日 (星期日)
当前
之前
16:13
2009年7月19日 (日) 16:13
BotMultichill
留言
贡献
小
547字节
+22
Changing image for
the big license migration
撤销
2008年8月19日 (星期二)
当前
之前
18:25
2008年8月19日 (二) 18:25
WikipediaMaster
留言
贡献
525字节
+37
无编辑摘要
撤销
2007年11月4日 (星期日)
当前
之前
13:03
2007年11月4日 (日) 13:03
Tamorlan
留言
贡献
488字节
+13
无编辑摘要
撤销
2007年10月17日 (星期三)
当前
之前
07:30
2007年10月17日 (三) 07:30
78.49.174.218
留言
475字节
+10
无编辑摘要
撤销
2007年6月18日 (星期一)
当前
之前
16:41
2007年6月18日 (一) 16:41
Nattfodd
留言
贡献
465字节
+465
{{Information |Description=Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop. |Source=self-made (http://aperturefirst.eff
导航菜单
个人工具
中文
未登录
讨论
贡献
创建账号
登录
命名空间
文件
讨论
English
查看
阅读
编辑
查看历史
更多
搜索
导航
首页
欢迎
社群首页
互助客栈
帮助
参与
上传文件
最近更改
最新文件
随机文件
联系我们
工具
链入页面
相关更改
Atom
特殊页面
页面信息
概念URI
获取短URL
下载二维码
