clarified signature: process_result timing from Isabelle/Scala;
/* Title: Pure/System/distribution.scala Author: MakariusThe Isabelle system distribution -- filled-in by makedist.*/package isabelleobject Distribution{ val version = "repository version" val is_identified = false val is_official = false}