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 in bold.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 22:24, 25 October 2025

List of abbreviations:

N: This edit created a new page (also see list of new pages)
m: This is a minor edit
b: This edit was performed by a bot
(±123): The page size changed by this number of bytes

25 October 2025

			19:34		BB(2,5) 7 changes history +1,251 [Peacemaker II (3×); RobinCodes (4×)]
					19:34 (cur \| prev) −52 Peacemaker II talk contribs
					19:33 (cur \| prev) +16 Peacemaker II talk contribs
					19:29 (cur \| prev) −234 Peacemaker II talk contribs (minor changes)
					14:38 (cur \| prev) +90 RobinCodes talk contribs (→Holdouts: Added 2 missing TMs from the unsolved list. (5, unknown and 84, chaotic via long. analysis)) Tag: Visual edit
					14:24 (cur \| prev) +11 RobinCodes talk contribs (→Holdouts: Changed the Skelet-17-like from one dekaheptoid to another: was wrong) Tag: Visual edit
					14:17 (cur \| prev) +611 RobinCodes talk contribs (→Solved with moderate rigor: Added 3 machines (2 by eqivalence classes) also solved with moderate rigor.) Tag: Visual edit
					11:51 (cur \| prev) +809 RobinCodes talk contribs (→Certified progress: Updated paragraph section with the extra 8 Rocq-decided machines, added the new informal argument. (I am assuming that the 8 machines added to Rocq after the 83 list correspond to the 8 machines in the "Formally Proven" section and thus should not be in the Unsolved list hopefully.)) Tag: Visual edit