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