isabelle: src/Pure/System/distribution.scala@f8b0271cc744 (annotated)

62845 31177a9c3025 clarified modules; wenzelm parents: diff changeset	1	/* Title: Pure/System/distribution.scala
31177a9c3025 clarified modules; wenzelm parents: diff changeset	2	Author: Makarius
31177a9c3025 clarified modules; wenzelm parents: diff changeset	3
31177a9c3025 clarified modules; wenzelm parents: diff changeset	4	The Isabelle system distribution -- filled-in by makedist.
31177a9c3025 clarified modules; wenzelm parents: diff changeset	5	*/
31177a9c3025 clarified modules; wenzelm parents: diff changeset	6
31177a9c3025 clarified modules; wenzelm parents: diff changeset	7	package isabelle
31177a9c3025 clarified modules; wenzelm parents: diff changeset	8
31177a9c3025 clarified modules; wenzelm parents: diff changeset	9
31177a9c3025 clarified modules; wenzelm parents: diff changeset	10	object Distribution
31177a9c3025 clarified modules; wenzelm parents: diff changeset	11	{
67866 11e4060bcdca clarified message; wenzelm parents: 62845 diff changeset	12	val version = "repository version"
62845 31177a9c3025 clarified modules; wenzelm parents: diff changeset	13	val is_identified = false
31177a9c3025 clarified modules; wenzelm parents: diff changeset	14	val is_official = false
31177a9c3025 clarified modules; wenzelm parents: diff changeset	15	}