HomeIsabelle/Phabricator

tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;