ProVerif: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

Find addition/removal ^(Alternate)
Find edits by user ^(Alternate)
Page statistics
Pageviews
Fix dead links

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 14:2814:28, 13 February 2024‎ 89.3.3.106 talk‎ 13,424 bytes +6‎ Clarified undo Tags: Mobile edit Mobile web edit

curprev 22:3522:35, 23 December 2023‎ Deltaspace42 talk contribs‎ 13,418 bytes +141‎ + 3 categories; ±Category:Free software→Category:Free software programmed in OCaml using HotCat undo

curprev 23:2523:25, 20 December 2023‎ Jayy V talk contribs‎ m 13,277 bytes +127‎ No edit summary undo

curprev 23:5823:58, 1 September 2023‎ Citation bot talk contribs‎ 13,150 bytes −29‎ Alter: title. Add: volume. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 21:0121:01, 27 August 2023‎ Citation bot talk contribs‎ 13,179 bytes +110‎ Alter: title, template type. Add: chapter-url, volume, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 16:0416:04, 8 August 2023‎ Citation bot talk contribs‎ 13,069 bytes −23‎ Alter: title. Add: chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 1593/2306 undo

curprev 05:0005:00, 22 July 2023‎ Citation bot talk contribs‎ 13,092 bytes +15‎ Alter: title, template type. Add: chapter-url, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 17:0217:02, 29 January 2023‎ OAbot talk contribs‎ m 13,077 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

curprev 13:2313:23, 25 November 2022‎ 152.81.64.131 talk‎ 13,061 bytes −28‎ No edit summary undo

curprev 03:2503:25, 24 August 2022‎ JCW-CleanerBot talk contribs‎ m 13,089 bytes −4‎ task, replaced: 2Nd → 2nd undo Tag: AWB

curprev 13:4213:42, 22 October 2021‎ BrownHairedGirl talk contribs‎ 13,093 bytes +77‎ Reflinks: Converting bare references undo
curprev 07:0207:02, 22 October 2021‎ Citation bot talk contribs‎ 13,016 bytes +175‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_new_bare_URL_refs | #UCB_webform_linked 1535/2196 undo

curprev 21:5821:58, 10 September 2021‎ 140.82.221.1 talk‎ 12,841 bytes +66‎ No edit summary undo

curprev 10:0910:09, 30 August 2021‎ Boleyn talk contribs‎ 12,775 bytes −44‎ Removed notability tag. No reason was given for it or discussion started. Appears to meet WP:GNG. If concerns persist, please consider AfD. undo

curprev 16:1616:16, 25 May 2021‎ Citation bot talk contribs‎ 12,819 bytes +52‎ Alter: url. URLs might have been anonymized. Add: volume, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform undo

curprev 14:1714:17, 15 May 2021‎ Trappist the monk talk contribs‎ m 12,767 bytes +1‎ →‎Applicability of ProVerif: mediawiki giveth and mediawiki taketh away; phab:T132308; undo Tag: AWB
curprev 09:1209:12, 15 May 2021‎ MUsamaSardar talk contribs‎ m 12,766 bytes +1‎ No edit summary undo
curprev 09:0209:02, 15 May 2021‎ MUsamaSardar talk contribs‎ m 12,765 bytes +1,206‎ →‎Applicability of ProVerif: Fixed broken link and added most recent examples of applicability undo Tag: Visual edit

curprev 16:3016:30, 20 November 2020‎ Mihailp talk contribs‎ m 11,559 bytes +12‎ update latest stable release date undo Tag: Visual edit

curprev 10:3910:39, 7 December 2019‎ Citation bot talk contribs‎ m 11,547 bytes 0‎ Alter: journal. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 09:3709:37, 21 November 2019‎ Dscheinder talk contribs‎ 11,547 bytes +278‎ →‎Applicability of ProVerif undo

curprev 08:3008:30, 9 August 2019‎ Headbomb talk contribs‎ 11,269 bytes +71‎ Alter: journal. | You can use this tool yourself. Report bugs here. | Alter: title, journal. | You can use this tool yourself. Report bugs here. ce undo

curprev 02:2902:29, 11 March 2019‎ Citation bot talk contribs‎ m 11,198 bytes +26‎ Add: citeseerx. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 01:4601:46, 21 February 2019‎ Citation bot talk contribs‎ m 11,172 bytes −256‎ Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 08:4108:41, 4 February 2019‎ Citation bot talk contribs‎ m 11,428 bytes −446‎ Alter: issue, isbn, template type. Add: isbn, citeseerx, pages, year. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 15:3015:30, 6 January 2019‎ Astraujums talk contribs‎ 11,874 bytes −3‎ Undid revision 877097641 by Astraujums (talk) undo Tag: Undo
curprev 15:2915:29, 6 January 2019‎ Astraujums talk contribs‎ m 11,877 bytes +3‎ No edit summary undo

curprev 13:3513:35, 16 May 2018‎ OAbot talk contribs‎ m 11,874 bytes +16‎ Open access bot: add arxiv identifier to citation with #oabot. undo

curprev 09:4109:41, 20 January 2018‎ Codename Lisa talk contribs‎ m 11,858 bytes −102‎ Cleanup undo

curprev 12:5412:54, 18 January 2018‎ Mpdehnel talk contribs‎ 11,960 bytes −60‎ Remove "citation cleanup" tag as I have now cleaned up the reference / citation style. undo Tag: 2017 wikitext editor
curprev 12:5312:53, 18 January 2018‎ Mpdehnel talk contribs‎ 12,020 bytes +1,863‎ Complete clean-up of references and styles. All are now auto-generated by wikipedia's tool using DOIs as the point of origin. undo Tag: 2017 wikitext editor

curprev 10:2410:24, 28 September 2017‎ Mpdehnel talk contribs‎ 10,157 bytes +182‎ →‎Alternatives undo

curprev 10:5610:56, 20 June 2017‎ 147.188.200.107 talk‎ 9,975 bytes −81‎ →‎Alternatives undo Tag: references removed
curprev 10:5610:56, 20 June 2017‎ 147.188.200.107 talk‎ 10,056 bytes +81‎ →‎Alternatives undo

curprev 10:3910:39, 6 March 2017‎ Trappist the monk talk contribs‎ m 9,975 bytes +26‎ →‎Applicability of ProVerif: cite repair; undo

curprev 22:2622:26, 10 January 2017‎ Alextejthompson talk contribs‎ m 9,949 bytes −1‎ →‎Applicability of ProVerif: typo fixing using AWB undo

curprev 18:3118:31, 13 March 2016‎ Headbomb talk contribs‎ m 9,950 bytes −18‎ →‎Applicability of ProVerif: clean up, replaced: ACM Transactions on Information and System Security (TISSEC) → ACM Transactions on Information and System Security (2) using AWB undo

curprev 08:0308:03, 23 July 2015‎ Matěj Grabovský talk contribs‎ m 9,968 bytes 0‎ update version undo

curprev 22:1422:14, 23 July 2014‎ Monkbot talk contribs‎ m 9,968 bytes +8‎ →‎Applicability of ProVerif: Task 5: Fix CS1 deprecated coauthor parameter errors undo

curprev 10:0810:08, 7 May 2014‎ Rjwilmsi talk contribs‎ m 9,960 bytes +66‎ →‎Applicability of ProVerif: Added 2 dois to journal cites using AWB (10094) undo

curprev 15:2815:28, 14 February 2013‎ Addbot talk contribs‎ m 9,894 bytes −29‎ Bot: Removing {{Orphan}} (Report Errors) undo

curprev 03:3803:38, 25 November 2012‎ 96.54.169.103 talk‎ 9,923 bytes +2‎ typo undo

curprev 02:3602:36, 31 October 2012‎ BattyBot talk contribs‎ 9,921 bytes +18‎ changed {{Notability}} to {{Notability|Products}} & general fixes using AWB (8512) undo

curprev 15:1515:15, 29 October 2012‎ 138.231.139.176 talk‎ 9,903 bytes +32‎ →‎External links undo
curprev 15:1515:15, 29 October 2012‎ 138.231.139.176 talk‎ 9,871 bytes +65‎ No edit summary undo

curprev 05:5505:55, 17 June 2012‎ Eumolpo talk contribs‎ m 9,806 bytes +1‎ orthographic undo

curprev 05:5405:54, 29 March 2012‎ 98.234.249.218 talk‎ 9,805 bytes −9‎ No edit summary undo

curprev 12:2112:21, 9 December 2011‎ AvicBot talk contribs‎ m 9,814 bytes +4‎ Bot: Grouping Multiple Issues together (Report error) undo

curprev 13:5713:57, 28 November 2011‎ 94.245.127.15 talk‎ 9,810 bytes +4‎ No edit summary undo
curprev 11:2911:29, 28 November 2011‎ Markulf talk contribs‎ 9,806 bytes +112‎ No edit summary undo

13 February 2024

23 December 2023

20 December 2023

1 September 2023

27 August 2023

8 August 2023

22 July 2023

29 January 2023

25 November 2022

24 August 2022

22 October 2021

10 September 2021

30 August 2021

25 May 2021

15 May 2021

20 November 2020

7 December 2019

21 November 2019

9 August 2019

11 March 2019

21 February 2019

4 February 2019

6 January 2019

16 May 2018

20 January 2018

18 January 2018

28 September 2017

20 June 2017

6 March 2017

10 January 2017

13 March 2016

23 July 2015

23 July 2014

7 May 2014

14 February 2013

25 November 2012

31 October 2012

29 October 2012

17 June 2012

29 March 2012

9 December 2011

28 November 2011