/* Title: Pure/System/distribution.scala Author: Makarius The Isabelle system distribution -- filled-in by makedist. */ package isabelle object Distribution { val version = "repository version" val is_identified = false val is_official = false }