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
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 Topology 20:48 +704 AllCatsAreGrey talk contribs (Rescuing 4 sources and tagging 0 as dead.) #IABot (v2.0.9.5) Tag: IABotManagementConsole [1.3]
- diffhist Agda (programming language) 11:40 −39 Frap talk contribs
- diffhist Agda (programming language) 00:33 −27 204.8.158.101 talk
18 July 2025
- diffhist Isabelle (proof assistant) 02:51 −8 Antispasm talk contribs (Remove the claim of deprecation, since the source never said that, only "harmful". Reflow into the description of procedural style.)
17 July 2025
- diffhist Dense set 17:24 +8 Ljohnston931 talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links
- diffhist Rocq 14:23 −1 146.179.86.181 talk (Tweak punctuation again (my bad))
- diffhist Rocq 14:22 0 146.179.86.181 talk (Remove now unnecessary comma)
- diffhist Rocq 14:21 −292 146.179.86.181 talk (Remove nonsense conflation of non-termination and proof by contradiction)
16 July 2025
- diffhist Control-flow graph 18:59 +271 Lxvgu5petXUJZmqXsVUn2FV8aZyqwKnO talk contribs (Added details about reducibility)