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
17 May 2025
- diffhist F* (programming language) 22:17 +1 46.193.65.196 talk (influenced by: updated Coq → Rocq)
- diffhist F* (programming language) 22:14 −2 46.193.65.196 talk (Updated the access date of the GitHub reference since the repository was visited in order to make the previous change)
- diffhist F* (programming language) 22:12 0 46.193.65.196 talk (According to the GitHub repository, F* has seen new releases since 2023. The last one was just two months ago.)
12 May 2025
- diffhist User:Top5a 14:33 −1 Top5a talk contribs (XX add.) Tag: 2017 wikitext editor