Coq：修订历史

查看该页面的日志（查看過濾器日志）

过滤修订展开折叠

截止日期：

标签过滤：

反向选择

选择下列任何一个版本的日期点击可以浏览。需要更多帮助请参看Help:页面历史和Help:编辑摘要。

（当前）= 与最后修订版本的差别，（先前）= 与前一个修订版本的差别，小 = 小修改，→ = 章节编辑，← = 自动编辑摘要

当前先前 17:062022年9月15日 (四) 17:06 B475oubek 留言贡献小 5,644字节 +23 内部链接撤销标签：2017年版源代码编辑

当前先前 23:492022年8月7日 (日) 23:49 1.161.52.155 留言 5,621字节 +2 修正笔误撤销

当前先前 08:422022年5月11日 (三) 08:42 InternetArchiveBot 留言贡献 5,619字节 +303 补救2个来源，并将0个来源标记为失效。) #IABot (v2.0.8.7 撤销

当前先前 05:152021年11月1日 (一) 05:15 Lyishuai 留言贡献小 5,316字节 +7 →外部链接：更新《软件基础》教材链接撤销

当前先前 14:472021年9月1日 (三) 14:47 Mhss 留言贡献小 5,309字节 +32 →top 撤销

当前先前 11:582021年8月29日 (日) 11:58 Mhss 留言贡献小 5,277字节 +170 →top 撤销
当前先前 11:542021年8月29日 (日) 11:54 Mhss 留言贡献小 5,107字节 +355 →top 撤销

当前先前 14:372021年2月5日 (五) 14:37 InternetArchiveBot 留言贡献 4,752字节 −2 补救8个来源，并将0个来源标记为失效。) #IABot (v2.0.8 撤销

当前先前 18:312020年9月25日 (五) 18:31 TongcyDai 留言贡献小 4,754字节 +42 使用HotCat已添加Category:1984年建立的程式語言撤销
当前先前 12:352020年9月25日 (五) 12:35 InternetArchiveBot 留言贡献 4,712字节 +262 补救2个来源，并将0个来源标记为失效。) #IABot (v2.0.7 撤销
当前先前 08:262020年9月25日 (五) 08:26 InternetArchiveBot 留言贡献 4,450字节 +411 补救5个来源，并将0个来源标记为失效。) #IABot (v2.0.7 撤销

当前先前 17:112020年4月27日 (一) 17:11 InternetArchiveBot 留言贡献 4,039字节 +92 补救1个来源，并将0个来源标记为失效。) #IABot (v2.0 撤销

当前先前 11:162018年11月20日 (二) 11:16 CopperSulfate 留言贡献小 3,947字节 −2 →应用撤销

当前先前 11:422017年12月12日 (二) 11:42 Soimort 留言贡献 3,949字节 +58 无编辑摘要撤销
当前先前 11:392017年12月12日 (二) 11:39 Soimort 留言贡献 3,891字节 +18 →首段撤销
当前先前 11:012017年12月12日 (二) 11:01 Soimort 留言贡献 3,873字节 0 →首段： version 撤销

当前先前 01:142015年11月27日 (五) 01:14 Soimort 留言贡献 3,873字节 0 无编辑摘要撤销

当前先前 04:352014年8月24日 (日) 04:35 Soimort 留言贡献 3,873字节 +258 无编辑摘要撤销

当前先前 05:192014年7月21日 (一) 05:19 Soimort 留言贡献 3,615字节 +59 添加分类撤销

当前先前 14:132014年7月15日 (二) 14:13 Soimort 留言贡献 3,556字节 +3 Update version 撤销

当前先前 18:232014年2月9日 (日) 18:23 Yinweichen-bot 留言贡献小 3,553字节 −8 機械人根據格式手冊移除多餘日期內鏈撤销

当前先前 17:422014年1月24日 (五) 17:42 Jimmy-bot 留言贡献小 3,561字节 −20 机器人: 字数已超过3000字节的小作品撤销

当前先前 06:092014年1月23日 (四) 06:09 Soimort 留言贡献 3,581字节 +2,180 无编辑摘要撤销
当前先前 04:502014年1月23日 (四) 04:50 Soimort 留言贡献 1,401字节 −22 无编辑摘要撤销

检索自“https://zh.wikipedia.org/wiki/Coq”