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
27 April 2024
- diffhist Lean (proof assistant) 23:09 0 2601:192:4a00:430:ac4e:a8bc:aabf:d2ad talk (→Artificial intelligence: Capitalize a use of "lean".)
25 April 2024
- diffhist F* (programming language) 07:07 +37 Jerryobject talk contribs (→External links: WP:CATEGORY add.)
24 April 2024
- diffhist F* (programming language) 16:30 +92 Jerryobject talk contribs (→External links: WP:CATEGORYs: update, adds.)
23 April 2024
- diffhist F* (programming language) 11:47 +243 Jerryobject talk contribs (Template:Infobox programming language, WP:REFerence WP:CITations: repeats > WP:NAMEDREFS, parameters: respaces, cut needless whitespace characters (spaces, carriage returns) to standardize, aid work via small screens, underscores > spaces, adds, fills, reorders, update-standardizes, conform to master templates. WP:LINKs: adds, update-standardizes, WP:REPEATLINK in same sentence cut. MOS:FIRSTABBReviations clarify, define before WP:ABBRs in parentheses.)