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 December 2025
- diffhist Lambda calculus 04:40 +19 Yesterday, all my dreams... talk contribs (→Typed lambda calculus: true but cn)
- diffhist Type theory 04:04 0 ~2025-42040-02 talk contribs
- diffhist Type theory 04:02 0 ~2025-42040-02 talk contribs (→Judgments)
- diffhist Type theory 04:00 0 ~2025-42040-02 talk contribs (→Terms)
- diffhist Type theory 03:59 0 ~2025-42040-02 talk contribs (→Terms and types)
- diffhist Tcl (programming language) 00:15 −51 Paradoctor talk contribs (update hatnote)
21 December 2025
- diffhist m Tcl (programming language) 23:26 +20 Bend1010 talk contribs (Fix disambiguation link) Tag: Disambiguation links added
- Deletion log 23:20 Bend1010 talk contribs deleted redirect Tcl (programming language) by overwriting (G6: Deleted to make way for move from Tcl)