Skip to content
zit Check-in [09171dd2f0]
Login

Check-in [09171dd2f0]

Overview
Comment:submanifests §1.3, §8, §10: the provisional phase retires; the flag-day rule moves to §8.1 and §8.2 is removed
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 09171dd2f0dce6de32f819c4073035febd6dc87e370ba74cd8519a164c31eb03
User & Date: dmestas on 2026-10-19 20:09:52.007
Other Links: manifest | tags
Context
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
Changes