HomeIsabelle/Phabricator

clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;