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.
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
21 October 2026
|
|
02:50 | Principia Machina/Progress/Status 2 changes hist −724 [PMA Progress (2×)] | |||
|
|
02:50 (cur | prev) −528 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
02:45 (cur | prev) −196 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
19 October 2026
|
|
02:29 | Principia Machina/Progress/Status 4 changes hist +133 [PMA Progress (4×)] | |||
|
|
02:29 (cur | prev) 0 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
02:15 (cur | prev) +86 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
01:23 (cur | prev) 0 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
00:07 (cur | prev) +47 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
18 October 2026
|
|
16:08 | Principia Machina/Progress/Status 5 changes hist −1,095 [PMA Progress (5×)] | |||
|
|
16:08 (cur | prev) +577 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
15:43 (cur | prev) −145 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
04:16 (cur | prev) −1,356 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
03:16 (cur | prev) −149 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
01:13 (cur | prev) −22 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
17 October 2026
|
|
23:59 | Principia Machina/Progress/Status 7 changes hist −719 [PMA Progress (7×)] | |||
|
|
23:59 (cur | prev) +13 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
23:01 (cur | prev) +155 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
22:41 (cur | prev) +44 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
20:02 (cur | prev) +70 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
19:52 (cur | prev) −841 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
01:22 (cur | prev) −46 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
|
|
00:04 (cur | prev) −114 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
16 October 2026
| N 13:47 | Principia Machina/Progress/Status diffhist +24,158 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source) | ||||
15 October 2026
| 19:35 | Lean theorem prover/Applications/Principia Machina diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:34 | Lean theorem prover diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:34 | The Principia Machina/Tools/Physlib diffhist +44 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:33 | The Principia Machina/Research Toolkit diffhist +13 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:30 | Noether's theorems diffhist +26 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:30 | Hamilton's principle diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:30 | Principia Machina/Terminology diffhist −21 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 19:30 | Template:Principia Machina map diffhist +949 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 19:30 | Template:Section map diffhist +986 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:30 | Template:Principia Machina/styles.css diffhist +830 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
14 October 2026
| N 18:01 | Lean theorem prover/Applications/Principia Machina diffhist +10,542 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:00 | Lean theorem prover diffhist +21,412 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:00 | Principia Machina/Terminology diffhist +14,555 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 18:00 | Template:Principia Machina/styles.css diffhist +3,068 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||