Jump to content

Related changes

← Program slicing

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.

Recent changes optionsShow last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide unregistered users | Hide my edits | Show bots | Hide minor edits | Show page categorization | Show Wikidata | Hide probably good edits
Show new changes starting from 02:07, 25 May 2025

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

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)

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Program_slicing"