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
24 July 2025
- diffhist m Fuzzing 19:29 −5 SidneyLover talk contribs
- diffhist Software testing 16:29 +1,354 116.212.185.8 talk (→History)
- diffhist m Lean (proof assistant) 05:58 −229 DMacks talk contribs (Reverted edit by 126.114.83.232 (talk) to last version by Oxe) Tag: Rollback
23 July 2025
- diffhist Lean (proof assistant) 16:00 +229 126.114.83.232 talk (→External links) Tag: Reverted
- diffhist Cartesian product 14:43 −12 Jochen Burghardt talk contribs (→Non-commutativity and non-associativity: D isn't used at all here)
- diffhist Cartesian product 14:42 −9 Jochen Burghardt talk contribs (Undid revision 1302067216 by Wdaswsdaadws (talk): conditions to A,B,C are explained in the text) Tag: Undo
- diffhist m Cartesian product 05:14 +9 Wdaswsdaadws talk contribs (→Non-commutativity and non-associativity) Tag: Reverted
22 July 2025
- diffhist Turing machine 22:10 −250 12.50.236.195 talk (→Overview: Remove misleading and incorrect sentences)
21 July 2025
20 July 2025
- diffhist Agda (programming language) 11:40 −39 Frap talk contribs
- diffhist Agda (programming language) 00:33 −27 204.8.158.101 talk