Parents and children of check-in [09171dd2f0]
|
2026-10-19
| ||
| 20:35 | submanifests, sparse-cone: dated revision of the -00 texts with a Changes appendix listing the applied errata check-in: 98104a5134 user: dmestas tags: trunk | |
| 20:09 | submanifests §1.3, §8, §10: the provisional phase retires; the flag-day rule moves to §8.1 and §8.2 is removed check-in: 09171dd2f0 user: dmestas tags: trunk | |
| 19:16 | import-git --into: accept a shallow source cut at commits the destination holds, prove identity from those commits, and check connectivity over the new range only check-in: 3524b75311 user: dmestas tags: trunk | |