2 Commits

Include renames

Author	SHA1	Message	Date
jochen	8d8e5c9a7e	Issues 211, 212, 214, 216, 217 resolved with their proofs; 215's fix recorded	2026-10-04 00:24:53 +02:00
jochen	5fa43ff755	Issue 212: a toolchain rebuild keeps the SDK it cached	2026-10-03 21:24:39 +02:00