Related changes

21 May 2025

• diffhist Function (mathematics) 01:25 +1 David Eppstein talk contribs (Undid revision 1291402350 by Goodphy (talk) sdrawkcab) Tag: Undo
• diffhist Function (mathematics) 00:50 −1 Goodphy talk contribs (→Definition: Corrected function definition descriptions.) Tags: Reverted Visual edit

20 May 2025

• diffhist Rust (programming language) 20:32 +126 Suriname0 talk contribs (Add fun detail about apartment elevator) Tag: 2017 wikitext editor
• diffhist Harvard University 17:49 −1 SammySpartan talk contribs (→Alumni: Reordering for chronology) Tag: Visual edit
• diffhist Partial function 16:59 −90 Jochen Burghardt talk contribs (Undid revision 1291265531 by Goodphy (talk): contradicts the terminlogy just introduced ("domain" means S)) Tag: Undo
• diffhist m Linear logic 10:22 +290 Marc Schroeder talk contribs (→Further reading)
• diffhist m Linear logic 06:21 +149 Marc Schroeder talk contribs (→Further reading: } isbn)
• diffhist Partial function 03:49 +90 Goodphy talk contribs (Helped to understand the definition of partial functions in terms of binary relation.) Tags: Reverted Visual edit

19 May 2025

• diffhist C (programming language) 07:19 +3 Annh07 talk contribs (Reverted 1 pending edit by 49.43.180.152 to revision 1290680595 by Materialscientist) Tag: Manual revert
• diffhist C (programming language) 07:13 −3 49.43.180.152 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Rust (programming language) 05:13 +51 ScalarFactor talk contribs (→Mozilla layoffs and Rust Foundation (2020–present): citation update)
• diffhist Algorithm 01:34 +112 David Eppstein talk contribs (→By design paradigm: improve sourcing for divide & conquer / prune & search)
• diffhist Algorithm 01:25 −35 David Eppstein talk contribs (→Ancient algorithms: the citation is right there in the next sentence)
• diffhist Algorithm 01:21 −177 David Eppstein talk contribs (more precisely locate the quotation from stone; page 8 (end of section), not page 4 (earlier version of similar def))
• diffhist Algorithm 01:12 +1,415 David Eppstein talk contribs (→Etymology: clean up attestations and sourcing)
• diffhist Algorithm 00:39 −28 David Eppstein talk contribs (I don't think this essay-like cleanup banner is valid)

18 May 2025

• diffhist m Objective-C 19:10 −99 TonySt talk contribs (Reverted 1 edit by 2409:40E3:1C:75BF:8000:0:0:0 (talk) to last revision by 2405:4803:FE50:27F0:B2F2:8DB4:7F7D:6146) Tags: Twinkle Undo
• diffhist Objective-C 19:07 +99 2409:40e3:1c:75bf:8000:: talk (Hii sir you come fast) Tags: Reverted Mobile edit Mobile web edit
• diffhist Agda (programming language) 12:30 +1 2003:e3:2f28:ead5:dc92:8d58:c52c:484 talk (Coq has been renamed to Rocq)

17 May 2025

• diffhist Wikipedia:Citing sources 19:26 +97 Beland talk contribs (→Citation style: add "Preserving the style of each individual source is not considered an acceptable consistent style." per Wikipedia talk:Citing sources#RFC on consistent styles and capitalization of titles)
• diffhist Harvard University 13:35 −21 Ihpkt talk contribs (removed supposed former name of New College (unsourced), I believe various editors have investigated this at length and removed this claim multiple times) Tag: Visual edit
• diffhist Wikipedia:Citing sources 12:52 −215 Kmhkmh talk contribs (nvm misread the scope of the change) Tag: Undo
• diffhist Wikipedia:Citing sources 12:42 +215 Kmhkmh talk contribs (still might be needed, see discussion) Tags: Undo Reverted
• diffhist Wikipedia:Citing sources 11:15 −215 Tamzin talk contribs (→Parenthetical referencing: been 5 years, probably don't need this line anymore) Tag: Reverted
• diffhist Data structure 09:40 −18 Hddqsb talk contribs (Undid revision 1243265270 by Shhhnotsoloud (talk). "Blockchain" is not directly related and should not get such a prominent mention; the old disambiguation page was useful.) Tags: Undo Disambiguation links added
• diffhist University of Texas at Austin 04:44 −18 Graham11 talk contribs (Per MOS:USCONSISTENT) Tag: Visual edit: Switched
• diffhist Harvard University 01:32 −183 Wozal talk contribs (→Faculty: Cleanup and trim to 2 rows.) Tag: Visual edit

16 May 2025

• diffhist m C (programming language) 10:31 −7 Materialscientist talk contribs (Reverted edits by 2409:408A:383:B00:9D93:4323:C907:C33E (talk) (HG) (3.4.13)) Tags: Huggle Rollback
• diffhist C (programming language) 10:28 +7 2409:408a:383:b00:9d93:4323:c907:c33e talk (Developer full name instead name) Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist m Disjoint-set data structure 08:39 −1 Cfbolz talk contribs (→History: Fix typo) Tag: Visual edit
• diffhist Rod Burstall 06:49 +454 ErktheBerserker talk contribs (Added his death) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist Harvard University 04:26 −58 Wozal talk contribs (Trim and cleanup per photo tag.) Tag: Visual edit

15 May 2025

• diffhist m Help:Maintenance template removal 04:17 +2 GianniLT talk contribs
• diffhist m Help:Maintenance template removal 04:16 +2 GianniLT talk contribs
• diffhist Wikipedia:What Wikipedia is not 01:35 +19 Alexeyevitch talk contribs (disambiguate link)

14 May 2025

• diffhist Curry–Howard correspondence 20:39 +4 Grapesurgeon talk contribs (Changing short description from "Theorem in computer science and math" to "Relationship between programs and proofs") Tag: Shortdesc helper
• diffhist Curry–Howard correspondence 20:38 −38 Grapesurgeon talk contribs (WP:SD40) Tag: Shortdesc helper
• diffhist m HOL (proof assistant) 20:05 +33 Objective Operator talk contribs (1. Corrected incorrect spelling of "license" in header and 2. spelled out "(Logic for Computable Functions)" following the "LCF" acronym in sentence two.) Tag: Visual edit
• diffhist m Soundness 15:54 +20 Dingolover6969 talk contribs (→See also: type soundness)
• diffhist m Isabelle (proof assistant) 10:26 +1 Oneequalsequalsone talk contribs Tag: Visual edit