Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
4 April 2025
- diffhist m Proof assistant 18:58 +3 Kaffet i halsen talk contribs (University of Gothenburg + sp (via WP:JWB))
- diffhist Integer 17:54 0 MrSwedishMeatballs talk contribs (→Algebraic properties) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Integer 17:51 0 MrSwedishMeatballs talk contribs (→Equivalence classes of ordered pairs) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Integer 17:50 −4 MrSwedishMeatballs talk contribs Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Integer 17:49 0 MrSwedishMeatballs talk contribs (→History) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist m GitHub 05:08 +151 Ringo62 talk contribs (Reverted 1 edit by 103.238.108.158 (talk) to last revision by MrOllie) Tags: Twinkle Undo
- diffhist GitHub 05:03 −151 103.238.108.158 talk (→Structure of the organization) Tag: Reverted
- diffhist Concurrency (computer science) 01:39 +9 222.152.66.120 talk (Fix the wording to align with the Simon Marlow article a bit more closely and remove a potential source of confusion.)
- diffhist Concurrency (computer science) 01:19 −72 222.152.66.120 talk (Removing an image that is confusing some readers. The image shows time-sharing vs parallelism and not concurrency vs parallelism. It also contradicted the article text.)
3 April 2025
- diffhist m Software testing 06:13 +10 Wisepl talk contribs
- diffhist Axiom 01:46 +7 Cyrobyte talk contribs (Undid revision 1283685864 by 35.141.48.144 (talk)) Tag: Undo
- diffhist Axiom 01:45 −7 35.141.48.144 talk (→Propositional logic) Tag: Reverted
2 April 2025
- diffhist Assertion (software development) 20:34 +2 Frap talk contribs
- diffhist Assertion (software development) 20:31 +9 Frap talk contribs (→Disabling assertions)
- diffhist m Substitution (logic) 17:50 −5 Arjayay talk contribs (Duplicate word removed)
- diffhist Formal specification 07:34 0 Leon.Manukyan talk contribs (→Uses: Fixed a typo) Tag: Visual edit
1 April 2025
- diffhist Type system 18:19 +61 PhotographyEdits talk contribs (→Combining static and dynamic type checking: add redirects here template)
- diffhist Formal specification 13:38 −124 2605:a601:a0a4:2700:fc6f:3d02:3fcb:9877 talk
- diffhist Lambda calculus 11:07 −1 TTWIDEE talk contribs (→Free variables: Removed erroneous space) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist m GitHub 01:02 −17 MrOllie talk contribs (Reverted 1 edit by 76.89.111.31 (talk) to last revision by 23.127.164.51) Tags: Twinkle Undo
- diffhist GitHub 00:59 +17 76.89.111.31 talk Tags: Reverted references removed Mobile edit Mobile web edit
31 March 2025
- diffhist m Symbolic execution 15:46 +80 Zapashcanon talk contribs (fix links)
- diffhist Symbolic execution 15:42 +465 Zapashcanon talk contribs (add the Owi tool) Tag: Disambiguation links added
30 March 2025
- diffhist GitHub 21:02 −8 23.127.164.51 talk (→Structure of the organization)
- diffhist GitHub 21:02 +67 23.127.164.51 talk (→Structure of the organization)
- diffhist Communications of the ACM 20:37 0 Widefox talk contribs (→Journal: inane -> better)
- diffhist m GitHub 18:18 −12 Discospinster talk contribs (Reverted edits by 2600:1700:9CD0:1B70:56:2CDF:16FB:CB24 (talk) (HG) (3.4.13)) Tags: Huggle Rollback
- diffhist GitHub 18:18 +12 2600:1700:9cd0:1b70:56:2cdf:16fb:cb24 talk (Dandy world) Tags: Reverted Visual edit
- diffhist m Tony Hoare 13:42 +103 Jpbowen talk contribs (Updated infobox)
- diffhist Communications of the ACM 10:29 +5 Widefox talk contribs (destub, def acro per MOS, sep lede)
- diffhist m Mathematical logic 04:42 −18 Farkle Griffen talk contribs (hatnote group → for multi) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist m Positive real numbers 02:44 +7 Rgdboer talk contribs (→Ratio scale: bold target of redirect)
29 March 2025
- diffhist m Proof assistant 17:56 0 Ringo62 talk contribs (ce) Tag: 2017 wikitext editor
- diffhist Isabelle (proof assistant) 08:29 +32 Valvino talk contribs (new name)
- diffhist Curry–Howard correspondence 08:28 +14 Valvino talk contribs (new name)
- diffhist Formal verification 08:27 +32 Valvino talk contribs (new name)
- diffhist Lean (proof assistant) 08:23 +32 Valvino talk contribs (new name)
- diffhist Separation logic 08:21 −30 Valvino talk contribs (new name)