1/* Title: Pure/System/distribution.scala 2 Author: Makarius 3 4The Isabelle system distribution -- filled-in by makedist. 5*/ 6 7package isabelle 8 9 10object Distribution 11{ 12 val version = "repository version" 13 val is_identified = false 14 val is_official = false 15} 16