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.
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
4 February 2026
| 19:09 | TMBR: January 2026 diffhist +310 RobinCodes talk contribs (→Holdouts: Added all BB(6) progress) | ||||
2 February 2026
|
|
19:09 | TMBR: January 2026 4 changes history +371 [RobinCodes (4×)] | |||
|
|
19:09 (cur | prev) +101 RobinCodes talk contribs (→Holdouts: Added 1e13 sim results (implicit via solved holdouts)) Tag: Visual edit | ||||
|
|
18:31 (cur | prev) +184 RobinCodes talk contribs (→Holdouts: Added Dyuan's progress) Tag: Visual edit | ||||
| m |
|
18:11 (cur | prev) −4 RobinCodes talk contribs (→Holdouts) Tag: Visual edit | |||
|
|
17:56 (cur | prev) +90 RobinCodes talk contribs (→Holdouts: Added citation for confirmation in Rocq) Tag: Visual edit | ||||
| 18:14 | TMBR: December 2025 diffhist +33 RobinCodes talk contribs (→Holdouts: Added clarification) | ||||
1 February 2026
|
|
21:26 | TMBR: January 2026 4 changes history +784 [Tlonuqbar; Sligocki; ADucharme (2×)] | |||
|
|
21:26 (cur | prev) +366 Tlonuqbar talk contribs (info on new rocq proofs) Tag: Visual edit | ||||
|
|
16:37 (cur | prev) +147 Sligocki talk contribs (→Blog Posts: Add Tromp's post.) Tag: Visual edit | ||||
|
|
05:17 (cur | prev) +117 ADucharme talk contribs (→Holdouts: updated 2x6 progress) Tag: Visual edit | ||||
|
|
05:11 (cur | prev) +154 ADucharme talk contribs (add to-do for mxdys code release) Tag: Visual edit | ||||
30 January 2026
|
|
11:33 | TMBR: January 2026 3 changes history +589 [Qwertyasdf (3×)] | |||
|
|
11:33 (cur | prev) +178 Qwertyasdf talk contribs (→Holdouts: add solved 2,5 machine) Tag: Visual edit | ||||
|
|
11:20 (cur | prev) +177 Qwertyasdf talk contribs (→Holdouts: add peacemaker result) Tag: Visual edit | ||||
|
|
11:12 (cur | prev) +234 Qwertyasdf talk contribs (→Holdouts: add new holdouts list) Tag: Visual edit | ||||