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
23 May 2025
- diffhist m Computer programming 09:01 −1 Adfontes18 talk contribs (→Context: Clarified reference)
20 May 2025
- diffhist m Linear logic 10:22 +290 Marc Schroeder talk contribs (→Further reading)
- diffhist m Linear logic 06:21 +149 Marc Schroeder talk contribs (→Further reading: } isbn)
19 May 2025
- diffhist Separation logic 20:33 +50 MediaKyle talk contribs (Adding short description: "Concept in computer science") Tag: Shortdesc helper
18 May 2025
- diffhist Agda (programming language) 12:30 +1 2003:e3:2f28:ead5:dc92:8d58:c52c:484 talk (Coq has been renamed to Rocq)
- diffhist m Frama-C 05:31 +13 Bkell talk contribs (first sentence should say what it is: MOS:FIRST)
17 May 2025
- diffhist Wikipedia:Citing sources 19:26 +97 Beland talk contribs (→Citation style: add "Preserving the style of each individual source is not considered an acceptable consistent style." per Wikipedia talk:Citing sources#RFC on consistent styles and capitalization of titles)
- diffhist Wikipedia:Citing sources 12:52 −215 Kmhkmh talk contribs (nvm misread the scope of the change) Tag: Undo
- diffhist Wikipedia:Citing sources 12:42 +215 Kmhkmh talk contribs (still might be needed, see discussion) Tags: Undo Reverted
- diffhist Wikipedia:Citing sources 11:15 −215 Tamzin talk contribs (→Parenthetical referencing: been 5 years, probably don't need this line anymore) Tag: Reverted
- diffhist Data structure 09:40 −18 Hddqsb talk contribs (Undid revision 1243265270 by Shhhnotsoloud (talk). "Blockchain" is not directly related and should not get such a prominent mention; the old disambiguation page was useful.) Tags: Undo Disambiguation links added