src/Pure/System/distribution.scala

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