felix.git/test/phase5/exact-contextual-abbreviation-consumer.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T12:45:30+00:00 Shift contextual binders under exact binders 2026-08-03T12:45:30+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:45:30+00:00 urn:sha1:f782224783684216d98151772cb3833f4eb4122f