HomeIsabelle/Phabricator

clarified: follow "isabelle version -t";