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
18 May 2025
- diffhist m Frama-C 05:31 +13 Bkell talk contribs (first sentence should say what it is: MOS:FIRST)
- diffhist m Open-source software 01:44 −282 TonySt talk contribs (Reverted 1 edit by 37.30.10.30 (talk) to last revision by 2600:1700:5390:5CCF:C6D4:8101:ECE4:2CBE) Tags: Twinkle Undo
- diffhist Open-source software 01:43 +282 37.30.10.30 talk Tags: Reverted Mobile edit Mobile web edit
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.)
16 May 2025
- diffhist Module:Footnotes/whitelist 22:05 +49 Redrose64 talk contribs (add another entry for CITEREFLohrThielmann1988)
- diffhist Programming language implementation 12:53 −1 37.154.166.127 talk (→Multiple implementations)
- diffhist m GitHub 11:48 +3,540 Materialscientist talk contribs (Reverted edits by 2402:800:637C:747B:EA18:C2B5:936E:3C14 (talk): unexplained content removal (HG) (3.4.13)) Tags: Huggle Rollback
- diffhist GitHub 11:46 −3,540 2402:800:637c:747b:ea18:c2b5:936e:3c14 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
15 May 2025
- diffhist BSD licenses 13:02 −38 2620:15c:3c:200:dc4c:33cc:57a3:c611 talk (→Previous license: Add SPDX short form, previously said none)
14 May 2025
- diffhist m HOL (proof assistant) 20:05 +33 Objective Operator talk contribs (1. Corrected incorrect spelling of "license" in header and 2. spelled out "(Logic for Computable Functions)" following the "LCF" acronym in sentence two.) Tag: Visual edit
- diffhist m Isabelle (proof assistant) 10:26 +1 Oneequalsequalsone talk contribs Tag: Visual edit