HomeIsabelle/Phabricator

further generalized framework