HomeIsabelle/Phabricator

support expand_platform_path, which is reminiscent of isabelle.Path.expand;