HomeIsabelle/Phabricator

avoid broken links: auxiliary files are not yet supported;