felix.git/test/phase5/exact-separation.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T23:09:04+00:00 Repair named separation regression 2026-08-04T23:09:04+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T23:09:04+00:00 urn:sha1:8b4cf67a97c2ff9abd02d6667c6ca06d46c659df Restore implicit set construction routing 2026-08-04T20:14:44+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T20:14:44+00:00 urn:sha1:97032ee3decc7bed2f2c9e8c32dff99676b658f2 Compile exact separation declarations 2026-08-01T22:43:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T22:11:19+00:00 urn:sha1:76b9ee6393099d29a3a3a71593fabd0df01ea54d