McCarthy 91 function: 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 13:0913:09, 24 February 2024 AFBorchert talk contribs m 8,637 bytes −1 →Proof: typo fixed: prooven -> proven undo

curprev 16:3316:33, 5 January 2024 Jerryobject talk contribs m 8,638 bytes −89 →Code: WP:LINKs: update-standardizes, needless WP:PIPEs > WP:NOPIPEs. undo

curprev 17:2217:22, 4 January 2024 Fauligekiwi talk contribs 8,727 bytes +345 improved proof explanation undo

curprev 22:2222:22, 8 November 2023 OAbot talk contribs m 8,382 bytes +34 Open access bot: doi updated in citation with #oabot. undo

curprev 08:0808:08, 18 November 2022 Citation bot talk contribs 8,348 bytes +46 Add: s2cid. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 266/1636 undo

curprev 22:5822:58, 15 November 2022 Comp.arch talk contribs m 8,302 bytes +2 No edit summary undo Tag: 2017 wikitext editor

curprev 15:0415:04, 8 August 2022 Jerryobject talk contribs m 8,300 bytes −28 →References: WP:NAVBOX update. undo

curprev 13:0013:00, 21 September 2021 KavehYousefi2019 talk contribs m 8,328 bytes −1 Removed a superfluous empty line preceding the section “Proof”. undo

curprev 07:5807:58, 19 May 2021 Vaibhav.if talk contribs m 8,329 bytes +8 →Code: Added return keyword undo Tag: Visual edit: Switched
curprev 01:4001:40, 19 May 2021 Citation bot talk contribs 8,321 bytes +81 Alter: journal. Add: isbn, doi, pages, authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. Upgrade ISBN10 to ISBN13. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 55/95 undo

curprev 00:5600:56, 14 January 2021 Monkbot talk contribs m 8,240 bytes +2 Task 18 (cosmetic): eval 6 templates: hyphenate params (2×); undo Tag: AWB

curprev 19:3919:39, 22 November 2020 Nick Number talk contribs m 8,238 bytes +28 repaired link(s) to disambiguation pages (you can help) - John Cowles undo

curprev 18:0718:07, 11 May 2020 DannyS712 bot talk contribs m 8,210 bytes +126 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

curprev 11:0511:05, 3 January 2020 Jochen Burghardt talk contribs 8,050 bytes −6 →Proof: fix layout undo
curprev 11:0311:03, 3 January 2020 Jochen Burghardt talk contribs 8,056 bytes +15 →Proof: don't define a non-rec. fct. of same name; use (downward) strong induction, no 11-blocks needed in the step case; use numbers from def. (<=100, not <101); negative values also yield 91 undo

curprev 20:2120:21, 30 November 2019 Frap talk contribs 8,041 bytes −55 →Code: indention and code style undo
curprev 20:1920:19, 30 November 2019 Frap talk contribs 8,096 bytes +44 →Code: type hint undo

curprev 11:3911:39, 15 June 2019 RDBrown talk contribs 8,052 bytes +220 →References undo

curprev 10:3710:37, 21 March 2019 213.233.84.151 talk 7,832 bytes 0 No edit summary undo
curprev 10:3710:37, 21 March 2019 213.233.84.151 talk 7,832 bytes 0 No edit summary undo

curprev 04:5604:56, 5 March 2019 60.243.185.152 talk 7,832 bytes 0 No edit summary undo

curprev 06:5906:59, 20 June 2018 Bibcode Bot talk contribs m 7,832 bytes +32 Adding 0 arxiv eprint(s), 1 bibcode(s) and 0 doi(s). Did it miss something? Report bugs, errors, and suggestions at User talk:Bibcode Bot undo

curprev 07:4707:47, 11 March 2018 128.54.233.204 talk 7,800 bytes 0 →Code: changed unidiomatic indentation in haskell example undo

curprev 18:4018:40, 22 December 2017 Xavier13540 talk contribs m 7,800 bytes −1 →Proof undo

curprev 14:5614:56, 23 May 2017 LilHelpa talk contribs m 7,801 bytes +4 clean up, typo(s) fixed: a equivalent → an equivalent (2) using AWB undo

curprev 14:1714:17, 23 March 2017 Vegan Velociraptor talk contribs 7,797 bytes −391 Remove the iterative C implementation; it is pointless and confusing in this context undo
curprev 14:0914:09, 23 March 2017 Vegan Velociraptor talk contribs 8,188 bytes +506 Add examples snippets in OCaml undo Tag: Visual edit: Switched

curprev 19:1119:11, 25 January 2017 128.2.213.16 talk 7,682 bytes +2 →Code undo

curprev 04:2204:22, 18 December 2016 66.41.78.119 talk 7,680 bytes −7 →Code undo

curprev 04:5104:51, 17 November 2016 Stepho-wrs talk contribs 7,687 bytes +75 →Code: 'if' is so much easier to understand than C's ternary operator. Nested ternary operators is just asking for confusion. Consistent function naming convention. undo
curprev 00:0800:08, 17 November 2016 89.129.151.8 talk 7,612 bytes +18 →Examples undo
curprev 00:0700:07, 17 November 2016 89.129.151.8 talk 7,594 bytes +77 →Examples undo

curprev 10:4110:41, 22 September 2016 Ianushii talk contribs m 7,517 bytes +1 →History undo

curprev 11:2011:20, 26 June 2016 177.204.47.2 talk 7,516 bytes +4 →History: syntax: mutually undo
curprev 06:2406:24, 26 June 2016 177.204.47.2 talk 7,512 bytes +1,238 differentiate control flow and paradigm undo

curprev 17:0317:03, 31 October 2015 M4gnum0n talk contribs 6,274 bytes +34 no footnotes undo

curprev 07:5807:58, 19 October 2015 96.244.54.50 talk 6,240 bytes +1 Undid revision 686465965 by 96.244.54.50 (talk) undo
curprev 07:5707:57, 19 October 2015 96.244.54.50 talk 6,239 bytes −1 Extra comma removed undo

curprev 19:1419:14, 3 March 2015 Tonypedraza talk contribs m 6,240 bytes +45 Reworded the last sentence of my previous edit. undo
curprev 19:0819:08, 3 March 2015 Tonypedraza talk contribs m 6,195 bytes +110 Clarified on the result of M(101) in the introduction. undo

curprev 20:4320:43, 10 December 2014 Not-just-yeti talk contribs m 6,085 bytes +1 align text with formal-def:from "n >=101" to "n >100" undo

curprev 17:4617:46, 16 September 2014 212.186.38.126 talk 6,084 bytes 0 →Code: fixed link undo
curprev 16:5316:53, 16 September 2014 212.186.38.126 talk 6,084 bytes +210 →Code undo

curprev 20:0520:05, 25 February 2014 Monkbot talk contribs m 5,874 bytes −16 →References: Fix CS1 deprecated date parameter errors (test) undo

curprev 19:5319:53, 11 September 2013 PabloCastellano talk contribs 5,890 bytes +226 →Code undo

24 February 2024

5 January 2024

4 January 2024

8 November 2023

18 November 2022

15 November 2022

8 August 2022

21 September 2021

19 May 2021

14 January 2021

22 November 2020

11 May 2020

12 March 2020

3 January 2020

30 November 2019

15 June 2019

21 March 2019

5 March 2019

20 June 2018

11 March 2018

22 December 2017

23 May 2017

23 March 2017

25 January 2017

18 December 2016

17 November 2016

22 September 2016

26 June 2016

31 October 2015

19 October 2015

3 March 2015

10 December 2014

16 September 2014

25 February 2014

11 September 2013