HomeIsabelle/Phabricator

centralized case distinction for beginning and ending nested targets in one…