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 December 2025
- diffhist Object Management Group 20:27 +119 Frap talk contribs
- diffhist m Undefined behavior 19:38 −4 ZalnaRs talk contribs (change headings) Tag: Visual edit
- diffhist Proof assistant 14:08 0 GhostInTheMachine talk contribs (Changing short description from "interactive software theorem prover" to "Interactive theorem prover software") Tag: Shortdesc helper
- diffhist Proof assistant 12:14 −59 MichaelMaggs talk contribs (Changing short description from "Software tool to assist with the development of formal proofs by human–machine collaboration" to "interactive software theorem prover") Tag: Shortdesc helper
- diffhist Software engineering 04:56 0 Vasundharainfotech123 talk contribs (→Definition) Tags: Mobile edit Mobile web edit
- diffhist Software engineering 04:55 0 Vasundharainfotech123 talk contribs (→Definition: CHANGE THE CAPITALIZATION) Tags: Mobile edit Mobile web edit
- diffhist Software engineering 04:44 −1 Vasundharainfotech123 talk contribs Tags: Mobile edit Mobile web edit
- diffhist m Continuous integration 01:42 +34 Curlyquote talk contribs (Punctuation, minor rewrite)
17 December 2025
- diffhist m Software testing 23:56 +20 Curlyquote talk contribs (More punctuation, rephrasing sentence)
- diffhist m Software testing 23:47 +39 Curlyquote talk contribs (Fix incorrect semicolons, link)