Related changes

Jump to navigation Jump to search

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 14:15, 4 February 2026
 
Page name:
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

3 February 2026

     01:15  BB(6) diffhist −1 Qwertyasdf talk contribs (Holdouts: update) Tag: Visual edit

2 February 2026

     19:05  BB(2,6) 3 changes history +3,487 [ADucharme (3×)]
 m   
19:05 (cur | prev) +288 ADucharme talk contribs (Phase 2: left-align new decider columns)
 m   
19:04 (cur | prev) +326 ADucharme talk contribs (Phase 2: add processing time to Stage 4, add row to Stage 3) Tag: Visual edit
     
18:55 (cur | prev) +2,873 ADucharme talk contribs (Phase 2: added Stage 4 table) Tag: Visual edit
     18:06  BB(7) 2 changes history +240 [RobinCodes (2×)]
     
18:06 (cur | prev) +2 RobinCodes talk contribs (References: Added approximate runtime) Tag: Visual edit
     
18:05 (cur | prev) +238 RobinCodes talk contribs (Phase 2: Added progress (TODO: What time did the run take?)) Tag: Visual edit: Switched
     17:55  BB(2,5) 2 changes history +415 [RobinCodes (2×)]
     
17:55 (cur | prev) 0 RobinCodes talk contribs (Certified progress: Fixed informal holdout count) Tag: Visual edit
     
17:54 (cur | prev) +415 RobinCodes talk contribs (Certified progress: Extended the section with a paragraph about new progress) Tag: Visual edit

29 January 2026

     07:57  BB(2,5) diffhist +290 ADucharme talk contribs (Holdouts: moved newly solved TM to Formal proof section, updated date of last change at top of list) Tag: Visual edit