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 Wikipedia:Citing sources 23:28 −231 ActivelyDisinterested talk contribs (Undid revision 1301039149 by Mathglot (talk) Trappists script marks all cites without any incoming shortform this way, the correct way of solving it was |ref=none. It's not an issue caused by bundling citations) Tag: Undo
- diffhist Wikipedia:Citing sources 19:37 +231 Mathglot talk contribs (→Bundling citations: To 'Disadvantages', add: Using citation templates like {{t|cite book}} in a bundle may lead to scripted warnings such as "There is no link pointing to this citation". (A solution is available.)) Tag: Reverted
- 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
13 July 2025
- diffhist m Computer programming 14:54 +2 Mindmatrix talk contribs (strong -> prevalent)
12 July 2025
- diffhist Computer programming 03:22 −6 Vectorange talk contribs (→Measuring language usage)
- diffhist Denotational semantics 00:41 +11 Frap talk contribs (→Meanings of recursive programs)
11 July 2025
- diffhist m Petri net 15:04 −21 AmirOnWiki talk contribs (→Boundedness: wrong link)