src/Pure/ROOT.scala

--- a/src/Pure/ROOT.scala	Thu Jul 24 15:13:37 2014 +0200
+++ b/src/Pure/ROOT.scala	Thu Jul 24 15:54:56 2014 +0200
@@ -7,5 +7,11 @@
 
 package object isabelle extends isabelle.Basic_Library
 {
+  object Distribution     /*filled-in by makedist*/
+  {
+    val version = "unidentified repository version"
+    val is_identified = false
+    val is_official = false
+  }
 }