Subtyping: 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 16:1416:14, 29 March 2024‎ Mikhailfranco talk contribs‎ m 25,328 bytes +50‎ update citation needed undo

curprev 17:3117:31, 19 March 2024‎ AnomieBOT talk contribs‎ m 25,278 bytes +16‎ Dating maintenance tags: {{Citation needed}} undo
curprev 15:3115:31, 19 March 2024‎ Mikhailfranco talk contribs‎ m 25,262 bytes −14‎ fix reason markup for citation needed undo
curprev 15:2815:28, 19 March 2024‎ Mikhailfranco talk contribs‎ m 25,276 bytes +94‎ '<:' and ':>' symbols, citation needed undo

curprev 15:1515:15, 4 March 2024‎ John of Reading talk contribs‎ m 25,182 bytes 0‎ →‎Subsumption: Typo fixing, replaced: prevalance → prevalence undo Tag: AWB

curprev 07:0707:07, 6 February 2024‎ 2601:647:6880:450d::2:3e4f talk‎ 25,182 bytes +4‎ →‎Fix math formatting undo

curprev 06:1206:12, 24 October 2023‎ Ngeiswei talk contribs‎ 25,178 bytes 0‎ →‎Coercions: Fix the equation relating f and f' undo

curprev 20:1120:11, 9 September 2023‎ Fgnievinski talk contribs‎ 25,178 bytes +12‎ →‎top undo

curprev 23:2223:22, 15 July 2023‎ Jlwoodwa talk contribs‎ m 25,166 bytes +22‎ upd links undo

curprev 04:3604:36, 29 June 2023‎ Cedar101 talk contribs‎ 25,144 bytes +3‎ →‎Examples: fix syntaxhighlight error undo

curprev 21:0621:06, 13 December 2022‎ 67.185.21.25 talk‎ 25,141 bytes +5‎ →‎Subsumption: ce undo

curprev 09:2209:22, 29 October 2022‎ 2601:600:9f81:51d0:547d:6734:b122:1ed5 talk‎ 25,136 bytes −7‎ →‎Examples: Diagram isn’t to the right in all presentations, e.g. mobile. undo Tags: Mobile edit Mobile web edit

curprev 21:4921:49, 30 September 2022‎ Lexi.lambda talk contribs‎ m 25,143 bytes −10‎ No edit summary undo

curprev 21:3321:33, 29 July 2022‎ 67.185.21.25 talk‎ 25,153 bytes +272‎ ce: use 'math' wiki formatting, add relation symbol, with cite undo
curprev 20:4520:45, 29 July 2022‎ 67.185.21.25 talk‎ 24,881 bytes +3‎ →‎Subsumption undo

curprev 21:4821:48, 20 July 2022‎ AnomieBOT talk contribs‎ m 24,878 bytes +45‎ Dating maintenance tags: {{Original research}} {{Citation needed}} undo
curprev 19:4819:48, 20 July 2022‎ 95.86.209.85 talk‎ 24,833 bytes +63‎ →‎Relationship with inheritance undo

curprev 14:3314:33, 1 July 2022‎ Jochen Burghardt talk contribs‎ 24,770 bytes +1‎ →‎Subsumption: compare subtype to a single supertype, not to the conjunction of all undo

curprev 18:4418:44, 30 June 2022‎ 67.185.21.25 talk‎ 24,769 bytes +270‎ →‎Subsumption: rewrite gibberish--how can a comparison be both "bigger and smaller" and "wider and fewer" at the same time? undo

curprev 15:4915:49, 24 June 2022‎ Kavuldra talk contribs‎ 24,499 bytes +61‎ →‎Function types: tried to resolve some issues with the typesetting of symbolic expressions. undo

curprev 21:2121:21, 11 March 2022‎ Maggyero talk contribs‎ 24,438 bytes +1‎ →‎Coercions undo
curprev 17:4717:47, 11 March 2022‎ Maggyero talk contribs‎ 24,437 bytes −3‎ No edit summary undo

curprev 13:3613:36, 23 August 2021‎ Jarble talk contribs‎ m 24,440 bytes +4‎ linking undo

curprev 13:2813:28, 20 July 2021‎ Tea2min talk contribs‎ m 24,436 bytes +9‎ →‎top: Fix markup. undo
curprev 13:2313:23, 20 July 2021‎ Tea2min talk contribs‎ 24,427 bytes −30‎ →‎top: Prefer existing redirect over piped link. undo

curprev 17:5217:52, 27 May 2021‎ Jeenuv talk contribs‎ m 24,457 bytes +4‎ →‎Subsumption undo Tag: 2017 wikitext editor

curprev 07:5607:56, 26 May 2021‎ Jeenuv talk contribs‎ m 24,453 bytes +2‎ →‎Examples undo Tag: 2017 wikitext editor
curprev 06:4606:46, 26 May 2021‎ Jeenuv talk contribs‎ m 24,451 bytes +1‎ No edit summary undo Tag: 2017 wikitext editor

curprev 07:5507:55, 22 May 2021‎ Jochen Burghardt talk contribs‎ 24,450 bytes +29‎ →‎top: link order-sorted logic undo

curprev 16:4616:46, 30 March 2021‎ WikiCleanerBot talk contribs‎ m 24,421 bytes 0‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 11:3111:31, 29 March 2021‎ EntirelyLikely talk contribs‎ m 24,421 bytes −340‎ Removed a paper from the Papers list that I just added to the Notes list as a reference. undo Tag: Visual edit
curprev 11:2611:26, 29 March 2021‎ EntirelyLikely talk contribs‎ m 24,761 bytes +261‎ Provided [citation needed] reference from an existing item in the Papers list. Will remove it from Papers next. undo Tag: Visual edit

curprev 09:5009:50, 15 January 2021‎ Tea2min talk contribs‎ m 24,478 bytes −2‎ →‎Origins: Use Template:Section link for an internal section link. undo
curprev 09:4109:41, 15 January 2021‎ Yobot talk contribs‎ m 24,480 bytes −11‎ References after punctuation per WP:REFPUNCT, WP:CITEFOOT, WP:PAIC + other fixes undo Tag: AWB

curprev 16:3216:32, 8 January 2021‎ Monkbot talk contribs‎ m 24,491 bytes −9‎ Task 18 (cosmetic): eval 2 templates: hyphenate params (3×); del |ref=harv (1×); undo Tag: AWB

curprev 18:4418:44, 29 November 2020‎ Assem Khidhr talk contribs‎ 24,500 bytes +48‎ Adding local short description: "Form of type polymorphism", overriding Wikidata description "a form of type polymorphism" (Shortdesc helper) undo

curprev 11:0111:01, 10 November 2020‎ Frap talk contribs‎ m 24,452 bytes +12‎ →‎Examples undo
curprev 08:0308:03, 10 November 2020‎ AngryHarpy talk contribs‎ 24,440 bytes −85‎ Reverting edit(s) by 210.185.171.65 (talk) to rev. 964840291 by Bamyers99: Vandalism (RW 16) undo Tags: RW Undo
curprev 08:0308:03, 10 November 2020‎ 210.185.171.65 talk‎ 24,525 bytes +85‎ No edit summary undo Tags: Reverted Mobile edit Mobile web edit

29 March 2024

19 March 2024

4 March 2024

6 February 2024

24 October 2023

9 September 2023

15 July 2023

29 June 2023

13 December 2022

29 October 2022

30 September 2022

29 July 2022

20 July 2022

1 July 2022

30 June 2022

24 June 2022

11 March 2022

23 August 2021

20 July 2021

27 May 2021

26 May 2021

22 May 2021

30 March 2021

29 March 2021

5 March 2021

15 January 2021

8 January 2021

29 November 2020

10 November 2020

27 June 2020