Related changes
Appearance
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
1 April 2025
30 March 2025
- diffhist Community of practice 14:01 −60 Shhhnotsoloud talk contribs (Amend hatnote) Tag: Disambiguation links added
- diffhist Rocq 13:56 0 2a00:23c4:f2c4:d00:326b:fda6:e3eb:faa5 talk
- diffhist Rocq 13:56 −291 2a00:23c4:f2c4:d00:326b:fda6:e3eb:faa5 talk Tag: references removed
- diffhist Rocq 13:51 +2 2a00:23c4:f2c4:d00:326b:fda6:e3eb:faa5 talk
- diffhist Rocq 13:50 +11 2a00:23c4:f2c4:d00:326b:fda6:e3eb:faa5 talk
- 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
29 March 2025
- diffhist Community of practice 23:01 +109 Aŭstriano talk contribs
- diffhist Automated theorem proving 21:40 −86 188.113.92.102 talk (Removes unnecessary fact about World War II under "First implementations")
- diffhist m Template:ML programming 18:13 −16 Ringo62 talk contribs (lk) Tag: 2017 wikitext editor
- Deletion log 17:56 Pppery talk contribs deleted page Rocq (G6: Deleted to make way for move from Rocq (software))
- diffhist m Proof assistant 17:56 0 Ringo62 talk contribs (ce) Tag: 2017 wikitext editor
- diffhist m ML (programming language) 17:54 0 Ringo62 talk contribs (ce) Tag: 2017 wikitext editor
- diffhist F Sharp (programming language) 10:50 +3 92.51.73.232 talk (brackets visual fix)
- diffhist F Sharp (programming language) 10:44 +2 92.51.73.232 talk (minor visual fix)
- diffhist OCaml 08:31 +64 Valvino talk contribs (new name)
- diffhist Isabelle (proof assistant) 08:29 +32 Valvino talk contribs (new name)
- diffhist Thierry Coquand 08:25 +65 Valvino talk contribs (new name)
- diffhist Frama-C 05:26 +60 95.25.69.151 talk
28 March 2025
- diffhist Community of practice 12:53 +539 AnomieBOT talk contribs (Rescuing orphaned refs ("Kietzmann et al., 2013" from rev 1282754394))
- diffhist Community of practice 11:55 −717 Fgnievinski talk contribs (→top: moving into vcop) Tags: Mobile edit Mobile app edit Android app edit App section source
- diffhist Community of practice 11:53 +1 Fgnievinski talk contribs (→top) Tags: Mobile edit Mobile app edit Android app edit App section source
- diffhist Gérard Huet 05:28 +25 JLLong talk contribs (walk back from "invention" of the zipper; Huet himself calls it "folklore" which "must have been invented on numerous occasions")
- diffhist Gérard Huet 05:24 +294 JLLong talk contribs (Include a reference for the zipper (copied from zipper article), and fix the year to 1997 (per that article and the reference))
27 March 2025
- diffhist University of Edinburgh 16:55 −38 Aloneinthewild talk contribs (Undid revision 1282266026 by BuckTheArsenalFan342 (talk) restore the roundel) Tag: Undo