1
(* Title: Pure/System/distribution.ML
2
Author: Makarius
3
4
The Isabelle system distribution -- filled-in by makedist.
5
*)
6
7
structure Distribution =
8
struct
9
val version = "repository version";
10
val is_identified = false;
11
val is_official = false;
12
end;