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
22 February 2026
| 09:59 | Skelet 1 diffhist +205 Polygon talk contribs (Added it having needed an individual proof in Coq-BB5) | ||||
| 09:58 | Skelet 17 diffhist +205 Polygon talk contribs (Added it having needed an individual proof in Coq-BB5) | ||||
21 February 2026
|
|
19:29 | Coq-BB5 5 changes history +1,894 [Polygon (5×)] | |||
|
|
19:29 (cur | prev) +108 Polygon talk contribs (Added other domains that were proven) | ||||
| m |
|
19:23 (cur | prev) 0 Polygon talk contribs (grammar) | |||
|
|
19:22 (cur | prev) +127 Polygon talk contribs (Mentioned import) | ||||
|
|
19:10 (cur | prev) +1,116 Polygon talk contribs (Added links to the individual proofs) | ||||
|
|
19:02 (cur | prev) +543 Polygon talk contribs (Attempted to expand this a bit: Described locations of proofs for individual TMs) | ||||
| 13:19 | Sync bi-counter diffhist −18 Polygon talk contribs (→Examples: linked Skelet 10 to wiki article) | ||||
|
|
13:16 | Irregular Turing Machine 2 changes history +263 [Polygon (2×)] | |||
|
|
13:16 (cur | prev) +118 Polygon talk contribs (Referencing) | ||||
|
|
13:02 (cur | prev) +145 Polygon talk contribs (Expanded (text taken from https://discord.com/channels/960643023006490684/960643023530762341/1357307689109028874)) | ||||
| 13:09 | Skelet 17 diffhist +117 Polygon talk contribs (Referenced irregularity) | ||||
| 11:29 | Repeated Word List diffhist −2 Polygon talk contribs (diagram --> graph) | ||||
| 10:53 | Shift overflow counter diffhist +5 Polygon talk contribs (→Examples: this one also halts) | ||||
20 February 2026
|
|
N 23:57 | Repeated Word List 16 changes history +2,458 [Polygon (16×)] | |||
|
|
23:57 (cur | prev) +41 Polygon talk contribs (Added simulation beginning on blank tape) | ||||
|
|
23:53 (cur | prev) +98 Polygon talk contribs (Added reference for the image) | ||||
|
|
23:52 (cur | prev) +7 Polygon talk contribs (Increased size of the image, moved it upwards) | ||||
|
|
23:49 (cur | prev) +182 Polygon talk contribs (Added image) | ||||
| m |
|
23:14 (cur | prev) 0 Polygon talk contribs (→History: consistent time) | |||
|
|
22:59 (cur | prev) +199 Polygon talk contribs (Added another reproduction) | ||||
|
|
22:45 (cur | prev) +86 Polygon talk contribs (Added See also section) | ||||
|
|
22:42 (cur | prev) +336 Polygon talk contribs (Added history section) | ||||
|
|
22:30 (cur | prev) +181 Polygon talk contribs (Added mechanism for proving non-halting) | ||||
|
|
22:26 (cur | prev) +295 Polygon talk contribs (Added N) | ||||
|
|
22:19 (cur | prev) +318 Polygon talk contribs (Added regex branching) | ||||
|
|
22:10 (cur | prev) +226 Polygon talk contribs (Added block simulation) | ||||
|
|
22:04 (cur | prev) +89 Polygon talk contribs (Constant blocks) | ||||
|
|
22:01 (cur | prev) −5 Polygon talk contribs (wording) | ||||
|
|
21:59 (cur | prev) +311 Polygon talk contribs (Began expansion) | ||||
| N |
|
21:22 (cur | prev) +94 Polygon talk contribs (Created page with "'''Repeated Word List''' (short '''RepWL''') is a decider. Category:Deciders {{Stub}}") | |||
|
|
20:53 | Finite Automata Reduction 5 changes history +345 [Polygon (5×)] | |||
|
|
20:53 (cur | prev) +88 Polygon talk contribs (Reference for Nondeterministic Finite Automata) | ||||
|
|
20:44 (cur | prev) +58 Polygon talk contribs (expanded) | ||||
|
|
20:40 (cur | prev) −25 Polygon talk contribs (rewording) | ||||
| m |
|
20:26 (cur | prev) +1 Polygon talk contribs (Missing point) | |||
|
|
20:26 (cur | prev) +223 Polygon talk contribs (Attempted to expand this a bit) | ||||
| m 14:01 | Dekaheptoid diffhist 0 Polygon talk contribs (→1RB1LC_1RC---_0LD1RE_0LA1LD_0RF0RB_0LC1RE: grammar) | ||||
| m 13:33 | Skelet 17 diffhist 0 Polygon talk contribs (fixed a typo) | ||||
19 February 2026
| 18:28 | 1RB0LC 1RC1RA 1RD0RF 0LE--- 1LA1LE 0RA1RF diffhist +12 Polygon talk contribs (Mentioned it being a holdout) | ||||
| 10:41 | Shift overflow counter diffhist +6 Qwertyasdf talk contribs (add common abbr) | ||||