Computer Aided Verification: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 01:1601:16, 11 May 2025 Citation bot talk contribs 4,289 bytes +42 Altered template type. Add: isbn, volume, series. Removed URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

curprev 13:4013:40, 27 October 2024 LogicAndAI talk contribs 4,247 bytes +5 Minor change. undo Tag: Visual edit
curprev 08:2408:24, 27 October 2024 LogicAndAI talk contribs 4,242 bytes −6,208 Removed list of CAV recipients due to potential issues with copyright. undo Tag: Visual edit

curprev 21:1721:17, 26 October 2024 Diannaa talk contribs 10,450 bytes −147 remove copyright content copied from https://i-cav.org/cav-award/

curprev 17:0317:03, 25 October 2024 Ira Leviton talk contribs 10,597 bytes −10 Fixed references and deleted an unneeded jargon abbreviation. Please see Category:CS1 errors: dates and Category:CS1 errors: external links.
curprev 16:4416:44, 25 October 2024 LogicAndAI talk contribs m 10,607 bytes +33 No edit summary Tag: Visual edit
curprev 16:4116:41, 25 October 2024 LogicAndAI talk contribs 10,574 bytes +6,448 Added list of CAV awards since 2008. Tags: Visual edit Disambiguation links added

curprev 04:4404:44, 17 June 2024 OAbot talk contribs m 4,096 bytes +17 Open access bot: doi updated in citation with #oabot. undo

curprev 18:0018:00, 2 February 2024 AnomieBOT talk contribs m 3,014 bytes +19 Dating maintenance tags: {{Reference needed}} undo
curprev 17:2117:21, 2 February 2024 A3nm talk contribs 2,995 bytes +20 +refnec: I see that some proceedings are open access in recent years but I can't find a source for the fact that this is a deliberate policy... undo Tag: 2017 wikitext editor

curprev 08:1608:16, 2 February 2023 Citation bot talk contribs 3,008 bytes +111 Alter: title. Add: chapter. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 2569/3499 undo

curprev 20:4620:46, 4 December 2021 Rlink2 talk contribs m 2,897 bytes +3 →top: archive link repair, may include: archive.* -> archive.today, and http->https for ghostarchive.org and archive.org (wp:el#Specifying_protocols) undo Tag: AWB

curprev 23:3823:38, 13 November 2019 InternetArchiveBot talk contribs 2,452 bytes +155 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

curprev 10:5810:58, 28 September 2019 Monkbot talk contribs m 2,297 bytes +3 →top: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 06:0806:08, 8 July 2019 InternetArchiveBot talk contribs 2,294 bytes +181 Rescuing 1 sources and tagging 0 as dead. #IABot (v2.0beta15) undo

curprev 14:0414:04, 29 April 2015 Monkbot talk contribs m 1,843 bytes +6 Task 7: replace et al. in author/editor parameters with |display-authors=etal or |display-editors=etal; undo

curprev 21:3821:38, 24 September 2012 Yobot talk contribs m 1,786 bytes +1 clean up, References after punctuation per WP:REFPUNC and WP:PAIC using AWB (8434) undo

curprev 12:5712:57, 3 January 2012 Rgrig talk contribs 1,785 bytes −667 addressed the notable objection by referring to secondary sources; also, removed the history section, as it seems useless to me undo