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.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

15 April 2025

diffhist m Formal verification 10:45 −69 Ringo62 talk contribs (MOS:NOPIPE) Tag: Visual edit
diffhist m Formal verification 10:42 −28 Ringo62 talk contribs (Remove link to disambiguation page) Tag: Visual edit
diffhist Formal verification 07:10 +249 GENGCHEN LIU talk contribs (Added a citation to the Common Criteria standard that mentioned EAL7.) Tag: Visual edit