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

28 June 2025

diffhist Formal system 23:45 +87 Yesterday, all my dreams... talk contribs (→Formal language: No: Formal languages can exist on their own, and may be used in various systems, or not)
diffhist Formal system 23:41 −17 Yesterday, all my dreams... talk contribs (also inductive)
diffhist Formal system 23:39 −17 Yesterday, all my dreams... talk contribs (axioms do nt necessarily rely on structures/models)

24 June 2025

diffhist Rajeev Alur 09:35 +34 (:Julien:) talk contribs (→External links)
diffhist Rajeev Alur 09:33 +28 (:Julien:) talk contribs (→External links)

23 June 2025

diffhist Stopwatch 15:56 +28 Algocu talk contribs (→top: mechanical watch can also be wound by a knob on the back) Tags: Mobile edit Mobile app edit Android app edit App section source