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
5 April 2025
- diffhist Combinatory logic 09:10 0 Tromp talk contribs (→One-point basis)
- diffhist Combinatory logic 09:10 −10 Tromp talk contribs (→One-point basis)
- diffhist Combinatory logic 09:09 +453 Tromp talk contribs (→simplest known one-point basis)
4 April 2025
- diffhist m Proof assistant 18:58 +3 Kaffet i halsen talk contribs (University of Gothenburg + sp (via WP:JWB))
3 April 2025
- diffhist First-order logic 15:12 −9 Remsense talk contribs (idiomatic)
- diffhist First-order logic 15:12 +10 Remsense talk contribs
1 April 2025
- diffhist Type system 18:19 +61 PhotographyEdits talk contribs (→Combining static and dynamic type checking: add redirects here template)
- diffhist m Programming language 11:24 −24 JeffSpaceman talk contribs (Reverted edit by 2001:8F8:1463:11EA:210C:4CBA:CE02:118B (talk) to last version by NXcrypto) Tag: Rollback
- diffhist Programming language 11:24 +24 2001:8f8:1463:11ea:210c:4cba:ce02:118b talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Lambda calculus 11:07 −1 TTWIDEE talk contribs (→Free variables: Removed erroneous space) Tags: Mobile edit Mobile web edit Advanced mobile edit