Related changes
← Dafny
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
19 July 2025
18 July 2025
- diffhist Docs.com 21:30 +4 Aetherzix talk contribs (WP:ORPHAN)
- diffhist Microsoft FUSE Labs 21:27 −54 Aetherzix talk contribs (WP:ORPHAN)
- diffhist Microsoft Research 21:27 +4 Aetherzix talk contribs (WP:ORPHAN)
- diffhist Microsoft XNA 20:10 +21 43.249.50.141 talk (→External links) Tags: Mobile edit Mobile web edit
- diffhist Template:Infobox programming language 15:46 0 Hooman Mallahzadeh talk contribs
- diffhist Microsoft Store 15:36 +22 Darkquest21 talk contribs Tag: Visual edit
- diffhist Python (programming language) 07:25 −457 Isaidnoway talk contribs (→References: list-defined ref not used)
- diffhist Computer network 05:58 −3 Nixleovel talk contribs (Reverting edit(s) by 109.107.230.212 (talk) to rev. 1300669762 by Guy Harris: Vandalism (UV 0.1.6)) Tags: Ultraviolet Undo
- diffhist Computer network 05:58 +3 109.107.230.212 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m MS-DOS 00:20 −7 ObserveOwl talk contribs (Reverted edit by ききききあか (talk) to last version by 109.243.144.180) Tag: Rollback
17 July 2025
- diffhist MS-DOS 23:32 +7 ききききあか talk contribs Tags: Reverted Mobile edit Mobile web edit
- diffhist Wikipedia:Citing sources 23:28 −231 ActivelyDisinterested talk contribs (Undid revision 1301039149 by Mathglot (talk) Trappists script marks all cites without any incoming shortform this way, the correct way of solving it was |ref=none. It's not an issue caused by bundling citations) Tag: Undo
- diffhist m C++/CLI 20:57 +135 DerSpezialist talk contribs (Use code formatting for all code) Tag: Visual edit
- diffhist Wikipedia:Citing sources 19:37 +231 Mathglot talk contribs (→Bundling citations: To 'Disadvantages', add: Using citation templates like {{t|cite book}} in a bundle may lead to scripted warnings such as "There is no link pointing to this citation". (A solution is available.)) Tag: Reverted
- diffhist Microsoft 13:35 −35 William Avery talk contribs (MOS:LQ; MOS:'; MOS:GEOLINK)
- diffhist Python (programming language) 12:14 −418 Jae talk contribs (Deleted "batteries included" since it's a thing of the past.)
- diffhist m VBScript 05:22 +81 Cedar101 talk contribs (→Language features: {{code}})
16 July 2025
- diffhist PowerShell 23:57 −402 Helpimnotdrowning talk contribs (→Comparison of cmdlets with similar commands: the statement "While the external ping command remains available to PowerShell, Test-Connection's output is a structured object that can be programmatically inspected." is true for basically all of these cmdlets, no?) Tag: references removed
- diffhist PowerShell 23:15 +216 Helpimnotdrowning talk contribs (→Scripting: add missing citation (was also in another citation here!) + give the name for this super-obscure feature so people can search for it. (should the name be capitalized or something?))
- diffhist TypeScript 17:25 +14 2a0c:5a87:d01:d400:9e07:efc9:b7f3:713c talk
- diffhist Wikipedia:Verifiability 17:12 +13 S Marshall talk contribs (Oh for Heaven's sake. I see that even that's controversial) Tag: Undo
- diffhist Wikipedia:Verifiability 17:10 −13 S Marshall talk contribs (Allowing Zero000's revert to stand, restore the simplification (which I think ought to be uncontroversial)) Tag: Reverted
- diffhist MS-DOS 16:12 −259 109.243.144.180 talk (→MS-DOS 3.x: this site has wrong release date, original 3.31 released in 1987, but their disks are from a later revision) Tag: references removed
- diffhist MS-DOS 16:11 0 109.243.144.180 talk (→MS-DOS 3.x)
- diffhist MS-DOS 16:10 +39 109.243.144.180 talk (→MS-DOS 3.x: other brands that got 3.31)
- diffhist Wikipedia:Verifiability 14:18 −57 Zero0000 talk contribs (rv. a discussion about a specific page that hasn't even reached consensus is hardly enough reason to make changes here.) Tag: Undo
- diffhist Windows Subsystem for Linux 12:32 −10 Jkppl talk contribs (Use "Linux" in intro to match actual WSL product name) Tag: Visual edit
- diffhist Wikipedia:Verifiability 09:52 +99 S Marshall talk contribs (Per this discussion) Tag: Reverted
- diffhist Wikipedia:Verifiability 09:43 −3 S Marshall talk contribs (Actually I can get that wordcount down farther) Tag: Reverted
- diffhist Wikipedia:Verifiability 09:43 −39 S Marshall talk contribs (Simplify) Tag: Reverted
- diffhist Microsoft Visual C++ 07:26 +95 103.151.172.25 talk (→Internal version numbering, add line "Visual Studio 2022 version 17.13.0")
- diffhist Software release life cycle 05:08 +204 DavidCary talk contribs (mention "version name", "version number", "project code name", etc.)
- diffhist MS-DOS 04:48 +49 Joyous! talk contribs (Reverted 1 edit by 2409:40D0:2034:8D49:8000:0:0:0 (talk): Rv yest) Tags: Twinkle Undo
- diffhist MS-DOS 04:48 −49 2409:40d0:2034:8d49:8000:: talk (Pizza Pepsi) Tags: Reverted Mobile edit Mobile web edit
15 July 2025
- diffhist Free and open-source software 23:29 +55 Annh07 talk contribs (Reverted 1 pending edit by Saripinyusra to revision 1298863035 by 66.215.184.32: WP:SDDUPLICATE) Tag: Manual revert
- diffhist Free and open-source software 23:21 −55 Saripinyusra talk contribs (Updated short description) Tags: Reverted Mobile edit Mobile app edit Android app edit App description change
- diffhist C Sharp (programming language) 22:09 +14 Lmr97 talk contribs ('Family' heading links to list of C-family programming languages, instead of the C-language page)
- diffhist Computer network 18:49 +7 Guy Harris talk contribs (ce)
- diffhist Microsoft Live Labs Deepfish 16:05 −27 Villaida talk contribs (removed stub template) Tag: Visual edit
- diffhist C Sharp (programming language) 14:41 −20 Zanahary talk contribs (Nope!) Tag: Visual edit
- diffhist C Sharp (programming language) 14:40 +19 Zanahary talk contribs (Per WP:NCTR) Tag: Visual edit
- diffhist m Computer network 07:11 +29,366 Aguy777 talk contribs (Reverted 1 edit by 2600:100D:B01B:3847:0:41:62D4:5801 (talk) to last revision by Aguy777) Tags: Twinkle Undo
- diffhist Computer network 07:10 −29,366 2600:100d:b01b:3847:0:41:62d4:5801 talk (remove) Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist m Computer network 07:04 +768 Aguy777 talk contribs (Reverted 1 edit by 2600:100D:B01B:3847:0:41:62D4:5801 (talk) to last revision by NDG) Tags: Twinkle Undo
- diffhist QBasic 07:04 +872 Isaidnoway talk contribs (Reverted 2 edits by 110.44.116.169 (talk): Unexplained content removal) Tags: Twinkle Undo
- diffhist Computer network 07:04 −768 2600:100d:b01b:3847:0:41:62d4:5801 talk (remove) Tags: Reverted references removed Visual edit Mobile edit Mobile web edit
- diffhist m Computer network 07:02 +29,783 NDG talk contribs (Reverted 1 edit by 2600:100D:B01B:3847:0:41:62D4:5801 (talk) to last revision by Aguy777) Tags: Twinkle Undo
- diffhist Computer network 07:02 −29,783 2600:100d:b01b:3847:0:41:62d4:5801 talk (remove) Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist Computer network 06:56 +890 Aguy777 talk contribs (Reverted 1 edit by 2600:100D:B01B:3847:0:41:62D4:5801 (talk): Revert unexplained removal.) Tags: Twinkle Undo Disambiguation links added