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
5 May 2025
4 May 2025
|
16:23 | Mlatu-6 4 changes history +133 [Zhil (4×)] | |||
|
16:23 (cur | prev) −504 Zhil talk contribs | ||||
|
16:21 (cur | prev) +753 Zhil talk contribs (Size busy beavers) | ||||
m |
|
13:18 (cur | prev) −128 Zhil talk contribs | |||
m |
|
00:19 (cur | prev) +12 Zhil talk contribs |
3 May 2025
|
17:20 | Mlatu-6 9 changes history +2,688 [Pro465 (2×); Zhil (7×)] | |||
m |
|
17:20 (cur | prev) 0 Zhil talk contribs | |||
|
17:19 (cur | prev) +1,160 Zhil talk contribs (Added Busy Beavers) | ||||
m |
|
06:37 (cur | prev) 0 Pro465 talk contribs (→Base Lengths: fix the sentence order) | |||
|
06:35 (cur | prev) +205 Pro465 talk contribs (→Base Lengths) | ||||
|
06:18 (cur | prev) −421 Zhil talk contribs (1-combinator base using z) | ||||
|
05:12 (cur | prev) +1,530 Zhil talk contribs (1-combinator proof) | ||||
|
04:11 (cur | prev) −181 Zhil talk contribs | ||||
|
04:10 (cur | prev) +394 Zhil talk contribs | ||||
m |
|
03:18 (cur | prev) +1 Zhil talk contribs |
2 May 2025
|
19:52 | Mlatu-6 6 changes history +294 [Zhil (6×)] | |||
|
19:52 (cur | prev) +237 Zhil talk contribs | ||||
m |
|
18:59 (cur | prev) 0 Zhil talk contribs | |||
m |
|
18:58 (cur | prev) −17 Zhil talk contribs | |||
m |
|
18:53 (cur | prev) +1 Zhil talk contribs | |||
|
18:34 (cur | prev) +425 Zhil talk contribs (Normal order reduction) | ||||
|
18:19 (cur | prev) −352 Zhil talk contribs (Added 2-combinator base of length 6) |
1 May 2025
|
08:28 | Indurate 3 changes history +987 [Stkptr (3×)] | |||
|
08:28 (cur | prev) −862 Stkptr talk contribs | ||||
|
07:47 (cur | prev) −372 Stkptr talk contribs (no_prelude wasn't deprecated, it apparently never really existed) | ||||
|
05:19 (cur | prev) +2,221 Stkptr talk contribs (Maybe TC) |