HomeIsabelle/Phabricator

more robust and uniform ISABELLE_TAGS;