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
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 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)
15 July 2025
- diffhist m Lambda calculus 19:32 −4 Frap talk contribs
- diffhist Lambda calculus 18:28 +416 Jochen Burghardt talk contribs (→Free variables: citation; bound / free aren't disjoint)
- diffhist Lambda calculus 17:39 −32 Scrooge Mcduc talk contribs (→Free variables)
14 July 2025
- diffhist Data structure 02:21 +574 Soberfox talk contribs (→Implementation: Added 1989 JCSS study by Driscoll et al. that introduced persistent data structures to the Implementation section, with full {{cite journal}} reference.) Tags: Mobile edit Mobile web edit