File:Coq plus comm screenshot.jpg：修订历史

2024年4月14日 (星期日)

• 当前之前 18:182024年4月14日 (日) 18:18‎ SchlurcherBot 留言 贡献‎ 小 5,283字节 +23‎ Add missing summary heading 撤销
• 当前之前 15:442024年4月14日 (日) 15:44‎ SchlurcherBot 留言 贡献‎ 5,260字节 +2,366‎ ‎已更改实体：​ automatically adding structured data based on file information 撤销 标签：Bot adding SDC

2021年12月25日 (星期六)

• 当前之前 09:032021年12月25日 (六) 09:03‎ JopkeB 留言 贡献‎ 小 2,894字节 +23‎ Moving from Category:Coq to Category:Coq (programming language) 撤销 标签：Cat-a-lot

2020年10月27日 (星期二)

• 当前之前 01:272020年10月27日 (二) 01:27‎ SchlurcherBot 留言 贡献‎ 2,871字节 +516‎ ‎已更改实体：​ automatically adding structured data claims based on file information: date 撤销

2020年10月1日 (星期四)

• 当前之前 23:032020年10月1日 (四) 23:03‎ BotMultichillT 留言 贡献‎ 2,355字节 +1,410‎ ‎已更改实体：​ Adding structured data: copyright 撤销

2015年4月22日 (星期三)

• 当前之前 23:562015年4月22日 (三) 23:56‎ OgreBot 2 留言 贡献‎ 小 945字节 −294‎ (BOT): clean up of file in search insource:/Released under the \[\[GNU Free Documentation License\]\]/ as requested by User:Magog the Ogre (using Magog's mass cleanup tool) 撤销

2015年2月14日 (星期六)

• 当前之前 13:582015年2月14日 (六) 13:58‎ Basvb 留言 贡献‎ 1,239字节 −20‎ Remove duplicate argument in template calls - Doing 2 replacements. Using VisualFileChange. 撤销

2014年7月28日 (星期一)

• 当前之前 23:522014年7月28日 (一) 23:52‎ YaCBot 留言 贡献‎ 小 1,259字节 −106‎ Bot: Internationalisation. 撤销

2011年1月26日 (星期三)

• 当前之前 11:312011年1月26日 (三) 11:31‎ Kocio 留言 贡献‎ 1,365字节 −59‎ Category:Coq 撤销

2011年1月9日 (星期日)

• 当前之前 18:572011年1月9日 (日) 18:57‎ SchlurcherBot 留言 贡献‎ 小 1,424字节 −26‎ Internationalisation 撤销

2009年9月1日 (星期二)

• 当前之前 20:322009年9月1日 (二) 20:32‎ MGA73bot2 留言 贡献‎ 小 1,450字节 +20‎ Changing image for the big license migration 撤销
• 当前之前 19:452009年9月1日 (二) 19:45‎ MGA73bot2 留言 贡献‎ 小 1,430字节 +20‎ Changing image for the big license migration 撤销

2009年1月21日 (星期三)

• 当前之前 22:152009年1月21日 (三) 22:15‎ Vernanimalcula 留言 贡献‎ 1,410字节 −233‎ Removed the need-category tag 撤销

2009年1月20日 (星期二)

• 当前之前 06:062009年1月20日 (二) 06:06‎ Vernanimalcula 留言 贡献‎ 1,643字节 +199‎ Categories 撤销
• 当前之前 05:512009年1月20日 (二) 05:51‎ Vernanimalcula 留言 贡献‎ 1,444字节 +4‎ Categorys added 撤销

2009年1月19日 (星期一)

• 当前之前 22:022009年1月19日 (一) 22:02‎ Vernanimalcula 留言 贡献‎ 1,440字节 +1,440‎ {{Information |Description={{en|Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE}} |Source=Transferred from [http://en.wikipedia.org en.wikipedia]; transferred to Commons by [[User:Vernanimalcula]