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