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

14 July 2025

diffhist Logic synthesis 15:21 +612 Kvng talk contribs (Reverted good faith edits by 134.0.5.140 (talk): Already tagged, deletion is not constructive) Tags: Twinkle Undo

13 July 2025

diffhist Sequent calculus 20:09 +121 168.92.254.163 talk (→Inference rules: Add explanatory note for relative complement)
diffhist Sequent calculus 20:06 +270 168.92.254.163 talk (→Inference rules: Add relative complement rules to preserve symmetry (see https://ncatlab.org/nlab/show/sequent+calculus))

12 July 2025

diffhist Intuitionistic logic 17:26 −3 AManWithNoPlan talk contribs (still broken)